News 2016

Main content

Accordion. Press Tab to navigate to entries, then Enter to open or collapse content.


Information Security Talks

21 December 2016, 14:00h, CAB H 53
Sven Hammann, AdNovum
Title: The Online Vertex Cover Problem with Advice

8 December 2016, 14:00h, CNB F 110
Lucca Hirschi, ENS Cachan
Title: A Method for Verifying Privacy-Type Properties: The Unbounded Case

8 December 2016, 09:15h, CAB H 52
Tom Sprenger, CTO, AdNovum
Title: Secure Digitalization: from Perimeter to Adaptive Security Solutions

22 November 2016, 14:00h, CNB F 110
Katriel Cohn-Gordon, University of Oxford
Title: Post-compromise security and the Signal protocol

25 October 2016, 14:00h, CNB F 110
Felix Wolf, Bachelor's thesis
Title: Exploiting Independence in Probabilistic Functional Programming

21 October 2016, 14:00h, CNB F 110
Manuel Clavel, IMDEA Software Institute Spain and Industrial University of Ho Chi Minh City Vietnam
Title: OCL2MSFOL: A Mapping to Many-Sorted First-Order Logic for Efficiently Checking the Satisfiability of OCL Constraints

12 October 2016, 14:00h, CNB F 110
Andrina Denzler,  ETH Bachelor's thesis
Title: Automatic Analysis of Communication Protocols with Human Errors

6 September 2016
11:00h, CNB F110: Erisa Karafili, Imperial College, London
Title: What are the Threats? Formalizing Threat Models & Attribution in Cyber Attacks
14:00h, CNB F110: Jasmin Blanchette, MPI-INF Saarbrücken & Inria Nancy
Title: Sharing the Burden of (Dis)proof with Automatic Tools

2 September 2016, 14:00h, CNB F110
Vincent Stettler, Bachelor's thesis
Title: Formally Analyzing the TLS 1.3 proposal

1 September 2016, 14:00h, CNB F110
Shreya Agrawal, Google Munich
Title: Runtime Verification and Static Enforcement of Safety Hyperproperties

18 August 2016, 14:00h, CNB F110
Fabian Murer, ETH Bachelor's thesis
Title: Password Recovery Protocols

13 July 2016, 14:00h, CNB F110
Fabian Meier, ETH Master's thesis
Title: Non-Uniform Datatypes in Isabelle/HOL

6 July 2016, 11:00h, CNB F110
Liu Yang, NTU Singapore
Title: Stateful Security Protocol Verification

5 July 2015, 14:00h, CNB F110
Stefan Morgenthaler, ETH Bachelor's thesis
Title: Equational Reasoning modulo Tuples

4 July 2016, 15:30h, CNB F86.2
Liu Yang, NTU Singapore
Title: Cyber-security: Formal Methods Approaches and Beyond

23 May 2016, 14:00h, CNB F110
Andrei Sabelfeld, Chalmers University of Technology, Sweden
Title: Theory and Practice of Taint Tracking

22 April 2016, 15:30h, CNB F110
Yutaka Nagashima, DATA61, formerly NICTA
Title: Open-ended Dynamic Synthesis of Proof Scripts

19 April 2016, 14:00h, CNB F110
Mohammad Ajil, ETH Bachelor's thesis
Title: Strong and Secure Access Control for PostgreSQL

31 March 2016, 14:00h, CNB F110
Bernd Finkbeiner, Universität des Saarlandes
Title: Synthesis of Distributed Systems

23 March 2016, 14:30h, CNB F110
Damien Desfontaines, Google Zurich
Title: Automated detection of joinability risks at Google's scale

22 March 2016, 14:00h, CNB F110
Dorela Kozmai, ETH Bachelor's thesis
Title: Converting Tamarin to extended Alice&Bob protocol specifications

10 March 2016, 14:00h, CNB F110
Kai Wallisch, Karlsruher Institut für Technologie
Title: Security Properties of Candidate Constructions for Cryptographic Multilinear Maps

9 March 2016, 14:00h, CNB F110
Sylvain Heininger
Title: Proxy - A versatile interception proxy

29 February 2016, 14:00h, CNB F110
Joachim Breitner, Karlsruher Institut für Technologie
Title: Call Arity

12 February 2016, 12:30h, CNB F110
Daniel Fischer, European Space Agency (ESA)
Title: Securing Space Missions - Challenges for security protocols in the space environment

26 January 2016, 14:00h, CNB F 110
Damien Pous, ENS Lyon
Title: Hacking Nondeterminism with Induction and Coinduction


Dmitriy Traytel
Title: Formalizing Symbolic Decision Procedures for Regular Languages
Schwaertzel-Dissertationspreis 2016

Dmitriy Traytel
Title: Formal Languages, Formally and Coinductively
Best student paper of FSCD 2016

In the Media

David Basin in People of ACM, February 2016

Ph.D. examinations

30 November 2016, Ph.D. examination of Petar Tsankov
at 16:00h in HG D22
Dissertation: Access Control with Formal Security Guarantees

4 April 2016, Ph.D. examination of Michael Schläpfer
at 14:00h in CAB H 52
Dissertation: Secure End-to-End Communication in Remote Internet Voting

Page URL:
Tue Jun 27 06:44:49 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich