News 2016
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
David Basin in external page People of ACM, February 2016