News 2024

24 April 2024, 13:30, CAB H 52
Speaker: Lasse Meinen, ETH Master's thesis
Title: Formal Verification of ADEM

11 April 2024, 16:00, CNB F 100.9
Speaker: Adrian Zanga, ETH Master's thesis
Title: Formal Study and Practical Security Analysis of the Matter Protocol

25 March 2024, CNB F 100.9
08:00
Speaker: Alexander Kvamme, ETH Master's thesis
Title: Bridging Logics: Transforming formalizations of GDPR into Enforceable MFOTL
10:00
Speaker: Silas Meier, ETH semester project
Title: An Authentic Digital Emblem: Empirical Analysis of Covert Inspection

12 March 2024, 16:00, CNB F 110
Speaker: Jeniffer Lima Graf, ETH Master's thesis
Title: Schema Inference for Monitoring Structured Logs

29 February 2024, 14:00, via Zoom
Speaker: Sarina Mueller, ETH semester project
Title: Formalizing Adversary Capabilities in Tamarin for Attacks on Threema

27 February 2024, CNB F 100.9
14:00
Speaker: Mohammad Ahmadpanah, Chalmers University
Title: Fixing the Dripping TAP: Security and Privacy in Trigger-Action Platforms
15:00
Speaker: Matthias Lott, ETH Bachelor's thesis
Title: Temporal Data Golf

31 January 2024, 09:00, via Zoom
Speaker: Zahra Moti, ETH talk
Title: Targeted and Troublesome: Tracking and Advertising on Children’s Websites

22 January 2024, 14:00, CNB F 110
Speaker: Daniel Gradwohl, ETH Bachelor's thesis
Title: Model transformations for privacy by design

9 January 2024, 14:00, CNB F 100.9
Speaker: Jonas Passweg, ETH Master's thesis
Title: Unification modulo homomorphic encryption in the Tamarin Prover

2024:

2024:

February:
Prof. David Basin
external pageApple’s iMessage Is Getting Post-Quantum Encryptioncall_made

Neue Technologie entlarvt gefälschte Betreibungsregisterauszüge, HEV Newsletter, February 2024

March:
Prof. David Basin
external pageNeue ETH-App deckt gefälschte Dokumente aufcall_made (SRF)

April:
Prof. David Basin
external pageSchummeln bei Wohnungs-Bewerbung wird schwierigcall_made (Beobachter)