News 2012

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