News 2023

12 December 2023, 14:00, CNB F 100.9
Speaker: Patrice Kast, ETH Master's thesis
Title: Privacy Observatory: Aggregation System for Reproduction of Privacy Studies

5 December 2023, 16:00, CNB F 110
Speaker: Abhiroop Sarkar, Talk
Title: HasTEE - Confidential Computing with Haskell

19 October 2023, 14:00, CNB F 110
Speaker: Sheila Zingg, ETH Talk
Title: Future of Compute - Exploring the Potential of Domain Specific Architecture (DSA)

17 October 2023, 14:00, CNB F 100.9
Speaker: Sophia Grundner-Culemann, Talk
Title: Formal Verification of Revocation approaches in Identity-based Cryptography

29 September 2023, 13:00, CNB F 110
Speaker: Stefan Weber, ETH Master's thesis
Title: Automatic classification of attackers against an IoT Honeypot

28 September 2023
9:00, CNB F 110
Speaker: Karlo Piskor, ETH Bachelor's thesis
Title: Secure Object Relational Mappers
14:00, CNB F 100.9
Speaker: Cedric Gebistorf, ETH Talk
Title: Checking Properties of SELinux Policy Update

26 September 2023, 11:00, CNB F 110
Speaker: Stefan Weber, ETH Master's thesis
Title: Automatic classification of attackers against an IoT Honeypot

22 September 2023, via Zoom
10:00
Speaker: Freya Murphy, ETH Master's thesis
Title: Symbolic Models of Group Signatures and Ring Signatures
15:00
Speaker: Sarp Sümer, ETH Bachelor's thesis
Title: Implementing reachability for timed lossy channel systems in Haskell

20 September 2023, 14:45, CNB F 110
Speaker: Ladina Roffler, ETH Master's thesis
Title: Exploring the Trade-off Between Temporal Logics and Deep-learning Based Learners for Finite Trace Classification

19 September 2023
10:00, CNB F 110
Speaker: Jan Stauffer, ETH Bachelor's thesis
Title: Plagiarism Detection for Tamarin
14:00, CNB F 100.9 and via Zoom
Speaker: Laura-Vanessa Soldner, ETH Bachelor's thesis
Title: Quantifying Mechanisms behind Cookie Consent (Non-)Compliance: A Notification Study of Audit Tools

18 September 2023, 13:00, CNB F 100.9
Speaker: Luca Multazzu, ETH Master's thesis
Title: NOCS-optimal Distributed Transactions and Beyond

21 August 2023, 11:00, CNB F 100.9
Speaker: Berkay Aydogdu, ETH Bachelor's thesis
Title: Monitoring using Differential Datalog

16 June 2023, 17:00, CNB F 110
Speaker: Jeniffer Lima Graf, ETH semester project
Title: Monitoring More Complex Data Types

16 May 2023, CNB F 110
14:00
Speaker: Larissa Schrempp, ETH Master's thesis
Title: Formal Verification of FIDO2 with Human Interaction
15:00
Speaker: Elias Datler, ETH Master's thesis
Title: Intended Compliance: An Automated Analysis of GDPR-related GitHub Issues

8 May 2023, 14:00, CNB F 100.9
Speaker: Silvia La, ETH Master's thesis
Title: Prioritizing Cybersecurity Controls based on Coverage of Attack Techniques and Attack Probabilities

11 April 2023, 16:00, via Zoom
Speaker: Jodok Vieli, ETH Master's thesis
Title: A Systematic Study of DNS Amplification Potential

4 April 2023, CNB F 110
14:00
Speaker: Jérôme Schneider, ETH Bachelor's thesis
Title: Catching Message Derivation Modelling Errors in Tamarin during Preprocessing
15:00
Speaker: Andrea Raguso, ETH Bachelor's thesis
Title: Formal Analysis of Network Attestation and Aggregate Signatures

3 April 2023, 15:00, via Zoom
Speaker: Plamen Stefanov, ETH Bachelor's thesis
Title: Benchmarking Distributed Read Atomic Transactions

31 March 2023, 11:00, via Zoom
Speaker: Zijing Yin
Title: Safeguard Linux-based IoT Devices Against Prevalent Attacks

27 March 2023, 14:00, CNB F 100.9
Speaker: Azucena Garvia Bosshard, ETH Master's thesis
Title: The Sumcheck Protocol

21 March 2023, CNB F 110
14:00
Speaker: Fabio Rentsch, ETH Bachelor's thesis
Title: Object Classification using Iterative Closest Point and the IPhone TrueDepth Sensor
15:00
Speaker: Siegfried Hartogs
Title: Verification of SCION's Control Plane standards

14 March 2023, 14:00, CNB F 110
Speaker: Leonardo Lima
Title: Explainable Online Monitoring of Metric Temporal Logic

2 March 2023, 16:00, CNB F 100.9
Speaker: Josefine Hedlund, ETH Bachelor's thesis
Title: A Zoo of Simulations

24 February 2023, 14:00, CNB F 110
Speaker: Jonas Degelo, ETH Bachelor's thesis
Title: A Real-Time, Flexible Logging and Monitoring Infrastructure for MonPoly

22 February 2023, 14:00, CNB F 110
Speaker: Mihhail Sokolov, ETH Master's thesis
Title: Implementing a Mobile Application for Paper Document

07 February 2023, 11:00, via Zoom
Speaker: Marco Bearzi, ETH Master's thesis
Title: Understanding QMIN-Enabled DNS Amplification

06 February 2023, 10:00, via Zoom
Speaker: Long Truong, ETH Bachelor's thesis
Title: Privacy Observatory: Collecting Privacy Policies and Terms of Service on a Regular Basis

31 January 2023, via Zoom
14:00
Speaker: Matthieu Gras
Title: Explicit vs Implicit Monitoring
15:00
Speaker: Arduin Brandts, ETH Mater's thesis
Title: Policy Collection for TTC

23 January 2023, 10:00, via Zoom
Speaker: Jai Arora
Title: Inequivalence Checking across C-Programs

17 January 2023, 14:00, CNB F 110
Speaker: Daniel Galán Pascual
Title: Safety Enforcement via Programmable Strategies in Maude

2023:

12 April 2023, 16:00, HG D 16.2
Joshua Schneider
Title: Scalable and Trustworthy Monitoring

14 December 2023, 9:00, HG D 16.2
Karel Kubicek
Title: Automated Analysis and Enforcement of Consent Compliance

November 2023:

Digitales Emblem für humanitäres Recht im Cyberspace

Literaturhinweis

Linker, F, Basin, D. ADEM: An Authentic Digital EMblem. CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. November 202. 3Pages 2815–2829. Published: 21 November 2023. external pageDOIcall_made


December 2023:

external pageDeutschlandfunkcall_made: Wie sich Hilfsorganisationen gegen Hacker schützen sollen

by Felix Linker