News 2024

13 December 2024, 16:00, CNB F 110
Speaker: Theodor Moroianu, ETH Master's thesis
Title: Exploring the Correlation between Transactional Bugs and Isolation Levels

18 November 2024, 10:00, CNB F 100.9
Speaker: Elisavet Kozyri, Arctic University of Norway (UiT)
Title: Information Flow Semantics for Accountability

12 November 2024, 14:00, CNB F 100.9
Speaker: Daniel Pressensé, Arctic University of Norway (UiT)
Title: Consistency challenges and solutions for decentralized end-to-end data traceability

1 November 2024
11:00, via Zoom
Speaker: Nasr Raymond, ETH semester project
Title: NuActionGUI
15:00, CNB F 100.9
Speaker: Sven Wey, ETH Bachelor's thesis
Title: Log Generation from Source Code using Large Language Models

21 October 2024, 13:00, CNB F 100.9
Speaker: Johanna Polzin, ETH Bachelor's thesis
Title: Specifying and Verifying Page Tables in a Concurrent OS

8 October 2024, CNB F 100.9
11:00
Speaker: Yufei Zhang, ETH semester project
Title: Distributed Query Plan Guided Test Generation for Citus
14:00
Speaker: Luca Meier, ETH Master's thesis (mid-term presentation)
Title: Formally Verifying the SecureDrop Protocol

4 October 2024, 16:00, via Zoom
Speaker: Yunxin Sun, ETH Master's thesis
Title: Beyond NOC-NOC: Understanding Computation Overhead in Distributed Database Transactions

1 October 2024, 14:00, CNB F 100.9
Speaker: Linda Hu, ETH Bachelor's thesis
Title: Proactive real-time enforcement with WhyEnf

18 September 2024, 15:00, CNB F 110
Speaker: Alice La Porta, ETH Bachelor's thesis
Title: Editing Tamarin Lemmas in the GUI

9 September 2024, 10:00, CNB F 110
Speaker: Szymon Nastaly, ETH Bachelor's thesis
Title: CookieAudit: Auditing Consent Popups for GDPR Compliance

5 September 2024, 13:00, CNB F 110
Speaker: Jonas Degelo, ETH semester project
Title: A Language for Enforceable Legal Specifications

24 June 2024
14:00, CNB F 110
Speaker: Mehdi Berrada, ETH semester project
Title: Automated and Agile Threat Modeling for Security in Industrial Control System
15:00, CNB F 100.9
Speaker: Elisa Baux, ETH semester project
Title: Privacy Observatory: Reproducing Privacy Studies

13 June 2024, 14:00, CNB F 100.9
Speaker: Georgia Hadjipanayiotou, ETH semester project
Title: Towards Termination in Tamarin

3 June 2024, 16:00, CNB F 110
Speaker: Rolando Grave de Peralta Gonzalez, ETH semester project
Title: Generating Cypher Subqueries in Graph Databases

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:

26 February 2024
Karel Kubicek
Title: Automated Analysis and Enforcement of Consent Compliance

2024:

February:
Prof. David Basin
external page Apple’s iMessage Is Getting Post-Quantum Encryption

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

March:
Prof. David Basin
external page Neue ETH-App deckt gefälschte Dokumente auf (SRF)

April:
Prof. David Basin
external page Schummeln bei Wohnungs-Bewerbung wird schwierig (Beobachter)