News 2015

Clipping

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

Talks

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

Events

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