News 2021

23 November 2021, 14:00, CNB F 110
Speaker: Kevin Tang, ETH Master's thesis
Title: Authentication of Physical Documents

22 November 2021, 14:00, CNB F 110
Speaker: Dhruv Nevatia, Chennai Mathematical Institute
Title: Register systems through the lens of logic

16 November 2021
10:00, CNB F 110
Speaker: Xenia Hofmeier, ETH Master's thesis
Title: Formalizing Aggregate Signatures in the Symbolic Model
11:00, via Zoom
Speaker: Nicolas Kaletsch, ETH Bachelor's thesis
Title: Formalizing Typing Rules for VeriMon

28 October 2021, 9:00, via Zoom
Speaker: Marc-Philippe Bartholomä, ETH Master's thesis
Title: Automated Mining of User Account Access Graphs: How to automatically create an overview of a user's account setup from their own data

18 October 2021, 14:00, via Zoom
Speaker: Jie-Ming Li, ETH Bachelor's thesis
Title: Verifying a Lexer and Parser Generator

29 September 2021, 14:00, via Zoom
Speaker: Sabina Fischlin, ETH Master's thesis
Title: Formalising Zero-Knowledge Proofs in the Symbolic Model

22 September 2021
14:00, via Zoom
Speaker: Emanuele Marsicano, ETH Bachelor's thesis
Title: Verified Incremental Evaluation of Aggregation Operators in Metric First-Order Temporal Logic
15:00, via Zoom
Speaker: Adrian Wortmann, ETH Bachelor's thesis
Title: Advanced Stream Queries with MonPoly

07 September 2021
14:00, CNB F 110
Speaker: Noah Delius, ETH Master's thesis
Title: Automatic Generation of I/O Specifications from Component Event Systems in Igloo
15:00, via Zoom
Speaker: Nico Hauser, ETH Bachelor's thesis
Title: Safe Evaluation of MFOTL Dual Temporal Operators

31 August 2021, 14:00, via Zoom
Speaker: Jonathan Rappl, ETH Bachelor's thesis
Title: Verifying VeriMon's Event Parser

16 August 2021, 14:00, CNB F 110
Speaker: Giuseppe Arcuti, ETH Master's thesis
Title: Automatic Decomposition of Interface Models

13 August 2021, 14:00, CNB F 110
Speaker: Sheila Zingg, ETH Master's thesis
Title: Verified Evaluation of Recursive Expressions in Metric First-Order Dynamic Logic

12 May 2021, via Zoom
10:00
Speaker: Mihael Liskij, ETH
Title: A Survey of TLS 1.3 0-RTT Usage
14:00
Speaker: Martin Ochoa, AppGate Inc.
Title: Reasoning about Probabilistic Defense Mechanisms against Remote Attacks

30 March 2021, 15:00, via Zoom
Speaker: François Hublet, ETH Master's thesis
Title: A Prototype Implementation of the “Databank Model”

30 March 2021, 14:00, via Zoom
Speaker: Dino Bollinger, ETH Master's thesis
Title: Analyzing Cookies Compliance with the GDPR

26 March 2021, 14:00, via Zoom
Speaker: Zuzana Frankovska, ETH Master's thesis
Title: Modeling and Analysis of the SCION Dataplane in Tamarin

16 March 2021, 14:00, via Zoom
Speaker: Patrice Kast, ETH Bachelor's thesis
Title: Automating website registration for GDPR compliance analysis

26 February 2021, 14:00, via Zoom
Speaker: Valeria Janelli
Title: A White-Box Parallel Monitor for Metric First-Order Temporal Logic

23 February 2021, 14:00h, via Zoom
Speaker: François Hublet
Title: A Prototype Implementation of the “Databank Model”

26 January 2021, 14:00h, via Zoom
Speaker: Roman Niggli, ETH Bachelor's thesis
Title: Modeling and Verification of the Raft Consensus Protocol

11 May 2020, 09:30h, via Zoom
Lara Schmid
Title: Advancing the Formal Foundations for Voting Protocols

03 December 2020, 14:00, via Zoom
Sven Hammann
Title: Secure, Private, and Personal: Advancing Digital Identity

11 December 2020, 16:00, via Zoom
Damien Desfontaines
Title: Lowering the cost of anonymization

external pageIEEE CSF 2020: Distinguished Paper Award
Authors: Joseph Lallemand, Véronique Cortier, Bogdan Warinschi
Title: Fifty Shades of Ballot Privacy: Privacy against a Malicious Board

Mario Frank, Joachim Buhmann, David Basin
Award: SACMAT Test of Time Paper Award
Affiliation: ACM SIGMOBILE, On the Definition of Role Mining

Dr. Jorge Toro Pozo
Award: ERCIM STM Best PhD Thesis Award 2020
Affiliation: ERCIM STM

Prof. David Basin
Award: IEEE Fellow
Affiliation: IEEE

CSNOW (Network of Women in Computer Science): Lara Schmid: “Women are just as good as men at computer science”

August 2020: Experts demonstrate the PIN is useless in EMV contactless transactions

Researchers with ETH Zurich have identified vulnerabilities in the implementation of the payment card EMV standard that can allow bypassing PIN verification.