News 2012

Main content

Best paper award

David Basin, Torsten Lodderstedt, and Juergen Doser, received the "Ten Year Most Influential Paper Award" at the MODELS 2012 conference for the paper "SecureUML: A UML-Based Modeling Language for Model-Driven Security".

Books

Operational Semantics and Verification of Security Protocols

Operational Semantics and Verification of Security Protocols
Authors: Cas Cremers and Sjouke Mauw
Year: 2012, 2012, XIII, 172 p. 59 illus.
Hardcover, ISBN 978-3-540-78635-1

From the Media

  • 19 September 2012 - ZISC
    David Basin held a talk at the event „Die ETH Zürich in Bundesbern“
    ETH Life article: Digitale Gefahren am Horizont
  • June 2012 - ZISC
    ETH Globe reports on the research collaboration with Kaba Group

Talks

  • 20 November 2012 - 14:00h, ML J 34.3
    Speaker: Prof. Peter A. Lindsay, The University of Queensland, Brisbane, Australia
    Title: Improving system design and operation using Behavior Trees and model checking
  • 26 October 2012 - 14:00h, CNB F110
    Speaker: Tomas Zgraggen, ETH Bachelor thesis presentation
    Title: Analysing and Repairing the ISO 11770 Standard for Key Management
  • 23 October 2012 - 11:00h, CNB F110
    Speaker: Prof. Michael Backes, University of Saarland
    Title: Computational Soundness without Protocol Restrictions -
    Maintaining the Beauty of Symbolic Abstractions
  • 1 October 2012 - 16:30h, CNB F110
    Speaker: Malte Skoruppa, University of Saarland
    Title: Verified Security of Merkle-Damgard
  • Interdisciplinary seminar: Complex Socio-Economic Systems and Integrative Risk Management organized by the ETH Risk Center
    Date, time & place: 25 September 2012 - 17:15h, HG D1.2
    Speaker: David Basin, Head of Institute of Information Security
    Title: Information Security Risks: Possibilities and Probabilities
  • 19 September 2012 - 13:30h, ETH Zürich in Bundesbern "Risiken im Cyberspace"
    Speaker: David Basin, Head of Institute of Information Security
    Title: Vom Forschungslabor in die IT-Welt
  • 14 September 2012 - 15:00h, CHN G 22
    Speaker: Andreas Lochbihler, Universität Karlsruhe
    Title: A Machine-Checked, Type-Safe Model of Java Concurrency
  • 17 August 2012 - 14:00h, CNB F 110
    Speaker: Lukas Limacher, ETH bachelor thesis presentation
    Title: Teaching Computer Forensics
  • 10 July 2012 - 14:00h, CNB F 110
    Speaker: Robert Künnemann, LSV, ENS Cachan
    Title: A Survey on Protocol Verification and Security APIs
  • 10 July 2012 - 14:00h, CNB F 110
    Speaker: Marco Guarnieri, Master student at Università degli studi die Bergamo
    Title: Conflict Detection and Minimization Techniques for Access
  • 29 May 2012 - 11:00h, CNB F 110
    Speaker: Rati Gelashvili, ETH bachelor thesis presentation
    Title: Attacks on re-keying and renegotiation in Key Exchange Protocols
  • 10 May 2012 - 14:00h, CNB F 110
    Speaker: Mario Frank, University of California, Berkele, USA
    Title: On the feasibility of side-channel attacks with Brain-Computer Interfaces
  • 17 April 2012 - 14:00h, CNB F 110
    Speaker: Heike Neumann (NXP Semiconductors), Germany
    Title: Cryptographic Primitives and Protocols in the Smartcard Industry
  • 6 March 2012 - 14:00h, CNB F 110
    Speaker: Bettina Hackenbruch, ETH bachelor thesis presentation
    Title: Point-Based and Interval-Based Monitoring Algorithms in Haskell
  • 24 February 2012 - 11:00h, CNB F 110
    Speaker: Sasa Radomirovic, University of Luxembourg
    Title: Privacy in RFID systems
  • 23 February 2012 - 14:00h, LFO G 25
    Speaker: Viktor Kuncak, EPF Lausanne
    Title: Implicit Programming
  • 8 February 2012 - 14:00h, CNB F 110
    Speaker: Lukas Manser, ETH bachelor thesis presentation
    Title: Testing Web Services with HOL-TestGen
  • 7 February 2012 - 14:00h, CNB F 110
    Speaker: Manuel Clavel, Fundación IMDEA Software
    Title: Model-based development of  security-aware data-centric web applications
  • 23 January 2012 - 14:00h, CNB F 110
    Speaker: Prof. John Lygeros, ETH and Automatic Control Laboratory
    Title: Cyber-security of SCADA systems: A case study on Automatic Generation Control
  • 12 January 2012 - CNB F 110
    Speaker: Kari Kostiainen, Nokia
    11:00h talk on Smartphone security research
    14:00h talk on A credential platform for mobile devices
  • 11 January 2012 - 14:00h, CNB F 110
    Speaker: Ralf Sasse, University of Illinois at Urbana-Champaign, USA
    Title: A Systematic Approach to Uncover Security Flaws in GUI Logic
  • 10 January 2012 - 14:00h, CNB F 110
    Speaker: Ralf Sasse, University of Illinois at Urbana-Champaign, USA
    Title: Protocol Analysis in Maude-NPA Using Folding Variant Narrowing
 
 
Page URL: http://www.infsec.ethz.ch/talks2016/talks2012.html
Tue Jun 27 11:32:04 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich