News 2020

14 September 2020, 10:00, ONLINE via Zoom
Speaker: Frederik Madsen, IT University of Copenhagen
Title: On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems

08 September 2020, 14:00, ONLINE via Zoom
Speaker: Roman Angehrn, ETH Bachelor's thesis
Title: Formalizing Higher-Order Pattern Unification in Isabelle/HOL

01 September 2020, 14:00, ONLINE via Zoom
Speaker: Elia Schudel, ETH Bachelor's thesis
Title: Implementing Privacy-Preserving OpenID Connect using Zero-Knowledge Proofs

07 July 2020, 14:00, ONLINE via Zoom
Speaker: François Hublet, semester thesis
Title: Monitoring the Unmonitorable

26 May 2020, 14:00, ONLINE via Zoom
Speaker: Marc Bolliger, ETH Bachelor's thesis
Title: Time-Efficient Monitoring of Metric Dynamic Logic

5 May 2020, 14:00, ONLINE via Zoom
Speaker: Linpeng Zhang (University of Padova)
Title: Towards an Intensional Theory of Computability

28 April 2020, ONLINE via Zoom
14:00h
Speaker: Andrei Herasimau, ETH Bachelor's thesis
Title: Formalizing Explanations for Metric Temporal Logics
15:00h
Speaker: Sarah Plocher, ETH Master's thesis
Title: From StreamingSQL to Metric First-order Temporal Logic

21 April 2020, 14:00, ONLINE via Zoom
Speaker: Sofia Giampietro (EPFL)
Title: Constraint Solving for Bounded-Process Cryptographic Protocol Analysis (CCS 2001 paper by Jonathan Millen and Vitaly Shmatikov)

14 April 2020, 14:00h, ONLINE via Zoom
Speaker: Mauro Zenoni, ETH Master's thesis
Title: SCION’s Hidden Paths Design Formal Security Analysis

7 April 2020, 14:00h, ONLINE via Zoom
Speaker: Matthieu Gras, ETH Bachelor's thesis
Title: Scalable Multi-source Online Monitoring

26 March 2020, 14:00h, ONLINE via Zoom
Speaker: Felix Linker (University of Leipzig)
Title: Incorrectness Logic (paper by Peter O’Hearn, POPL 2020)

24 March 2020, 10:00h, ONLINE via Zoom
Speaker: Yutaka Nagashima (CTU Prague and University of Innsbruck)
Title: Automating proof by induction in Isabelle/HOL using domain-specific languages

28 January 2020, 14:00h, CNB F 110
Speaker: Eva Charlotte Mayer (TU Munich)
Title: Mutation-based Validation of Temporal Logic Specifications with Guarantees

23 January 2020, 15:00h, CNB F 110
Speaker: Farzane Karami (University of Oslo)
Title: Information-flow security

21 January 2020, 14:00h, CNB F 110
Speaker: Lukas Heimes, ETH Bachelor's thesis
Title: Extending and Optimizing a Verified Monitor for Metric First-Order Temporal Logic

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.