News 2019
20 November 2019, 14:00h, CNB F 110
Speaker: Aleksi Peltonen, Aalto University
Title: Misbinding Attacks on Secure Device Pairing and Bootstrapping
13 November 2019, 14:00h, CNB F 110
Speaker: Pascal Blöchlinger, ETH Master's thesis
Title: Learning Dynamic Pricing Strategies
29 October 2019, 14:00h, CNB F 110
Speaker: Fabian Engler, ETH Bachelor's thesis
Title: Automated Logging of Function Calls in Java, Python, and Go
25 October 2019, 14:00h, CNB F 110
Speaker: Gabriel Giamarchi, ETH Bachelor's thesis
Title: Automata Learning in Isabelle/HOL
16 October 2019, CNB F 110
1400h:
Speaker: Sandra Dünki, ETH Master's thesis
Title: Modelling and Analysis of Web Applications in Tamarin
15:00h:
Speaker: Angela Rellstab, ETH Master's thesis
Title: Formalizing and Verifying Generations of AKA Protocols
26 September 2019, CNB F 110
14:00h:
Speaker: Basil Fürer, ETH Bachelor's thesis
Title: Functor-Preserving Quotients in Isabelle/HOL
15:00h:
Speaker: Simon Yuan, ETH Bachelor's thesis
Title: Explaining Monitoring Verdicts for Metric Dynamic Logic
24 September 2019, CNB F 110
14:00h:
Speaker: Thibault Dardinier, internship report
Title: Formalizing Multiway-Join Algorithms in Isabelle/HOL
15:00h:
Speaker: Matthias Roshardt, ETH Bachelor's thesis
Title: Generalized Functor Composition in Isabelle/HOL
10 September 2019, CNB F 110
14:00h:
Speaker: Ben Fiedler, ETH Bachelor's thesis
Title: Formalizing Distributed Snapshots in Isabelle/HOL
15:00h:
Speaker: Manuel Clavel (IMDEA)
Title: Mapping OCL into SQL: Challenges and Opportunities Ahead
5 September 2019, 09:00h, CNB F 110
Speaker: Romina Som, ETH Master's thesis
Title: Privacy-Preserving Computation of Key Performance Indicators
21 August 2019, 14:00h, CNB F 110
Speaker: Jan Falk
Title: A Frontend for Account Access Graphs
5 August 2019, 14:00h, CNB F 110
Speaker: Vincent Stettler, ETH Master's thesis
Title: Privacy Preserving Data Synthezisers and Utility Dense Manifolds
3 July 2019, 10:00h, CNB F 110
Speaker: Radu Grigore, University of Kent
Title: Fast Runtime Verification via Slow Program Analysis
27 June 2019, 15:00h, CNB F 110
Speaker: Sheila Zinggs, ETH Bachelor's thesis
Title: An Approach to Exploring Optimal Noise
6 June 2019, 14:00h, CNB F 110
Speaker: Christian Fania, ETH Bachelor's thesis
Title: Self-Adaptive Online Monitoring
6 May 2019, CNB F 110
14:00h:
Speaker:Andrina Denzler
Title: Modeling Human Errors in Voting Protocols
15:00h
Speaker: Matthias Brun, ETH Bachelor's thesis
Title: Authenticated Data Structures in Isabelle/HOL
23 April 2019, CNB F 110
14:00h:
Speaker: Xenia Hofmeier, ETH Bachelor's thesis
Title: Formal Analysis of Web Single-Sign On Protocols using Tamarin
15:00h:
Speaker: Chithambaram Sivaranjini, ETH Master's thesis
Title: An Implementation of Alethea
17 April 2019, 11:00h, CNB F 110
Speaker: Pascal Stoop, ETH Master's thesis
Title: Binding Datatypes in Isabelle/HOL
16 April 2019, 14:00h, CNB F 110
Speaker: Emma Arfelt, University of Copenhagen
Title: Monitoring the GDPR
12 April 2019, 15:15h, CAB H 52
Speaker: Si Liu, University of Illinois at Urbana-Champaign
Title: Design, Verification and Automatic Implementation of Correct-by-Construction Distributed Transaction Systems in Maude
2 April 2019, 14:00h, CNB F 110
Speaker: Anders Schlichtkrull, DTU Lyngby, Denmark
Title: IsaFoL - An Isabelle Formalization of Logic
27 March 2019, 14:00h, CNB F 110
Speaker: Dennis Jackson, University of Oxford
Title: Automated Analysis of Digital Signatures’ Unexpected Behaviours
25 March 2019, 14:00h, CNB F 110
Speaker: Joseph Lallemand, INRIA/LORIA, Nancy
Title: Voting: You Can’t Have Privacy without Individual Verifiability
15 March 2019, 14:00h, CNB F 110
Speaker: Guillaume Girol, ETH Master's thesis
Title: Formalizing and Verifying the Security Protocols from the Noise Framework
5 March 2019, 14:00h, CNB F 110
Speaker: Marie-Laure Zollinger, University of Luxembourg
Title: Modeling distributed trust with Tamarin and application to e-voting
5 February 2019, 14:00h, CNB F 110
Speaker: Silvan Läubli, ETH Bachelor's thesis
Title: Implementing a public bulletin board for Alethea
17 January 2019, 14:00h, CNB F 110
Speaker: Diego Marmsoler, TU Munich
Title: Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving
Alumni-Verband: Ralf Sasse: «5G ist besser geworden in Bezug auf die Authentifizierung und die Integrität der eigentlichen Daten.»