News 2015

Main content


Read David Basin's interview on "Hinter dem Rücken der Geheimdienste" (PDF, 3.4 MB), appeared in NZZ on 7 December 2015


8 December 2015, 14:00h, CNB F 110
Joshua Schneider, ETH Bachelor's thesis
Title: Applicative Functors in Isabelle/HOL

27 November 2015, 14:00h, CNB F 110
Thomas Hildebrandt, ITU Denmark
Title: Towards Flexible, Adaptable and Compliant Process-aware Information Systems with Dynamic Condition Response Graphs

4 November 2015, 14:00h, CNB F 110
Jose Meseguer, University of Illinois at Urbana-Champaign, USA
Title: Towards Extensible Symbolic Formal Methods

28 October 2015, 14:00h, CNB F110
Cyrill Krähenbühl, ETH Bachelor's thesis
Title: Fuzz Testing Access Control

29 September 2015, 14:00h, CNB F110
Tobias Klenze, TU Munich
Title: A CTL theory for the SMT solver MonoSAT

15 September 2015, 14:00h, CNB F 110
Benedikt Schmidt, IMDEA, Spain
Title: Automated Proofs of Pairing-Based Cryptography

18 August 2015, 14:00h, CNB F 110
Annika Glauser, ETH Bachelor's thesis
Title: From MFOTL to SQL

Thursday, 11 June 2015, 13:15h, CNB F110
Speaker: Gregor Snelting from KIT, Karlsruhe
Title: Probabilistic Noninterference in JOANA

Monday, 8 June 2015, CNB F110
Speaker: Srdjan Krstic, Politecnico di Milano
Title: A journey through trace checking of quantitative properties

Friday, 29 May 2015, 13:15h, CAB G61
Speaker: Patrick Schaller, Raiffeisen Bank, Switzerland
Title: Architectural Challenges in Modern, Security Critical Web Platforms

Tuesday, 19 May 2015, 15:00h, CNB F110
Speaker: Sebastian Mödersheim, DTU Lyngby
Title: Defining Privacy is Supposed to be Easy

11 May 2015, 14:00h, CNB F 110
Lara Schmid, ETH Master's thesis
Title: Human Errors in Secure Communication Protocols

23 April 2015, 13:15h, CNB F110
Yuecel Karabulut, VMware
Title: Could Platform Security: Through the Eyes of a Product Manager

22 April 2015, 15:00h, CNB F 110
Tristan Buchs, ETH Master's thesis
Title: Checkpointing-Based Testing

30 March 2015, CNB F110
14:00h - Samuel Ueltschi, ETH Bachelor's thesis
Title: A Cryptographic Library in Isabelle/HOL
14:30h - Danny Schweizer, ETH Master's thesis
Title: Secure Communication Topologies in the Internet of Things

23 March 2015, 14:00h, CNB F 110
Michèle Feltz, Nationale Kommission für den Datenschutz, Luxemburg
Title: Data Protection Challenges

9 March 2015, 14:00h, CNB F110
Lorenz Breidenbach, ETH Master's Thesis

Title: Efficient Declarative Physical Access Control

6 January 2015, CNB F 110
Andrei Stefanescu (University of Illinois)
Title: Reachability logic in K

Ph.D. examination

21 October 2015, Ph.D. examination of Grgur Petric Maretic
at 15:30h in CAB H 52
Dissertation: Anchored Separation of Linear Temporal Logic and its Applications

23 June 2015, Ph.D. examination of Andreas Fürst
at 14:00h in CAB G 59
Dissertation: Formal Development of a Train Control System using Event-B—from Requirements to C Code

20 May 2015, Ph.D. examination of Thanh Binh Nguyen
at 14:00h in CAB H 52
Dissertation: Sound Abstractions for Security Protocol Verification


ZISC workshop on Friday, 18 September 2015 at ETH Zurich

  • Srdjan Capkun (ETH Zurich), Location Based Authentication
  • Dieter Gollmann (University of Hamburg), Security in cyber-physical systems
  • Eran Messeri (Google), Certificate Transparency: Early Deployment Experiences of a new Certificate Accountability Infrastructure
  • Thomas Ristenpart (University of Wisconsin - Madison), Honey Encryption: Beyond the Brute-force Barrier
  • Matthew Smith (University of Bonn), The Need for a Usable TLS Public Key Infrastructure
  • Ben Smyth (Huawei), Hacking voting systems for cash, fun, and power


3rd ETH Risk Center Dialogue Event with Focus Session: Cyber Security, Targets within Reach?

Friday, 16 January 2015, 10:00 – 16:10, followed by a networking aperitif
ETH Zurich, main building, HG F 3, Zurich

After a welcome address by ETH President Prof. Lino Guzzella, Risk Center professors will present cutting-edge research topics. In the afternoon’s focus session, moderated by Prof. David Basin, Chair of Information Security, the following keynote speakers will give lectures:

  • Barry Pavel, Vice President and Director, Brent Scowcroft Center on International Security - Atlantic Council
  • Stefan Arn, Chief Information Officer, UBS Wealth Management
  • Prof. Srdjan Capkun, Information Security Group, ETH Zurich
Page URL:
Tue Jun 27 11:31:54 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich