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