News 2022

22 November 2022, 14:00, CNB F 110
Speaker: Sayan Biswas, Talk
Title: When Privacy and Utility fight, Data says, "What a beautiful sight!"

9 November 2022, CNB F 110
Speaker: Shabnam Ghasemirad, ETH Master's thesis
Title: Mechanized Data Consistency Models for Distributed Database Transactions

11 October 2022, CNB F 110
13:00
Speaker: Ahmed Bouhoula, ETH Master's thesis
Title: Automated Detection of GDPR Violations in Cookie Notices Using Machine Learning
14:00
Speaker: Adrian Zanga, ETH semester project
Title: CookieAudit: An Extension for Auditing Consent Popups’ GDPR Compliance

27 September 2022, 14:00, CNB F 110
Speaker: Stefan Panjkovic, ETH Master's thesis
Title: A Symbolic Analysis of Hybrid and Threshold Schemes

21 September 2022, 14:00, via Zoom
Speaker: Johannes Meyer, ETH Bachelor's thesis
Title: Towards a formalization of Gödel’s incompleteness theorems for intuitionistic logic

20 September 2022, 14:00, CNB F 110
Speaker: Remo Zumsteg, ETH Bachelor's thesis
Title: Monitoring Complex Data Types

14 September 2022, 14:00, CNB F 110
Speaker: Cedric Gebistorf, ETH Bachelor's thesis
Title: Component Model Transformation into I/O Guarded Form in Igloo

31 August 2022, 14:00, via Zoom
Speaker: Anıl Yarış, ETH Master's thesis
Title: Query Tool for Analyzing Privacy Changes of GitHub-Hosted OSS Projects

23 August 2022, CNB F 110
10:00
Speaker: Liva Schaffner, ETH Bachelor's thesis
Title: Formal Verification of Low-Latency Authentication Mechanisms
13:00
Speaker: Ahmed Bouhoula (talk)
Title: Automating Cookie Consent Compliance Detection using Machine Learning

19 August 2022, 10:00, via Zoom
Speaker: Juan David Guarnizo Hernandez (Singapore University of Technology and Design)
Title: Enhancing Transparency in Software Supply Chain using Smart Contracts and Cryptographic Accumulators

17 August 2022, 11:00, CNB F 110
Speaker: Giuseppe Bisicchia (University of Pisa)
Title: Continuous Management of Multi-Service Applications over the Cloud-IoT Continuum

16 August 2022, 10:00, CNB F 110
Speaker: Stefan Panjkovic (Fondazione Bruno Kessler)
Title: Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping

11 July 2022, 11:00, CNB F 110
Speaker: Jesus Solano (UCL)
Title: Machine Learning in security: authentication and interaction with the physical world

23 June 2022, 14:30, via Zoom
Speaker: Luca Multazzu, ETH semester project
Title: Optimal Read Atomic Database Transactions

07 June 2022, 14:00, CNB F 110
Speaker: Sven Wiesner, ETH Master's thesis
Title: Automated Translation of Tamarin Theories into I/O Specifications for Igloo

23 May 2022, 10:00, via Zoom
Speaker: Simon Yuan, ETH Master's thesis
Title: Policy change in MonPoly

29 April 2022, 09:00, via Zoom
Speaker: Luca Näf, ETH Bachelor's thesis
Title: Formal verification of security protocols for wireless communication with hearing aids

14 April 2022, 09:00, via Zoom
Speaker: Pascal Schärli, ETH semester project
Title: Implementing a Monitor for Metric Dynamic Logic

29 March 2022, 09:00, via Zoom
Speaker: Matthias Brun, ETH semester project
Title: Formal verification of the Databank model language in Isabelle/HOL

24 March 2022, 09:00, via Zoom
Speaker: Matthieu Gras, ETH semester project
Title: Linux Kernel Monitoring

22 March 2022, 09:00, via Zoom
Speaker: Jasmine Bayrooti (guest speaker)
Title: Diversity Viewmaker: Learning Diverse Views for Self Supervised Learning

15 March 2022, 09:00, via Zoom
Speaker: Florian Turati, ETH Master's thesis
Title: Analysing and exploiting Google’s FLoC advertising proposal

09 March 2022, 09:00, via Zoom
Speaker: Arduin Brandts, ETH Talk
Title: Extended policy language for the Databank: Supporting purpose for GDPR compliance

03 March 2022, 14:00, CNB F 110
Speaker: Rita Ganz, ETH Bachelor's thesis
Title: Understanding GDPR compliance of tracking pixel declarations using privacy filter lists

14 February 2022, 19:00, via Zoom
Speaker: Luka Lodrant, ETH Master's thesis
Title: Designing a generic web forms crawler to enable legal compliance analysis of authentication sections

12 January 2022, 13:00, via Zoom
Speaker: Artur Gigon Almada e Melo, ETH Master's thesis
Title: User-friendly Monitoring

20 April 2022, 10:30h, via Zoom
Martin Raszyk
Title: Efficient, Expressive, and Verified Temporal Query Evaluation

external page USENIX Security 2022: Distinguished Artifact Award
Authors: Dino Bollinger, Karel Kubicek, Carlos Cotrini, and David Basin
Title: Automating Cook Consent and GDPR Violation Detection

22nd Intl. Conference on Runtime Verification (RV'22): Best paper award
Author: Joshua Schneider
Title: Randomized First-Order Monitoring with Hashing
[Download PDF (PDF, 422 KB) | external page DOI]

external page CSAW'22 Europe: Applied Research Competition
Author: Karel Kubíček
Title: Automating Cookie Consent and GDPR Violation Detection
[external page PDF]

Silver Medal of ETH 2022
François Hublet
Thesis: The Databank Model
Supervisors: Professor David Basin, Dr. Srdan Krstic

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.