I'm a doctoral student at the Network Security Group. My research explores how to achieve strong availability guarantees in future Internet architectures like SCION. The Internet has become similarly critical to the functioning of global society and economy as the electricity or water supply. By treating it as such, I hope to help in creating an infrastructure that will be able to support our demands today and going into the future.
I'm passionate about teaching (at all ages), and I'm co-leading the Network of Women in Computer Science (CSNOW) in an effort to try to make our department an equally welcoming place for everyone.
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance.
Joel Wanner, Laurent Chuat, and Adrian Perrig.
International Symposium on Reliable Distributed Systems (SRDS) 2020
Routing Systems for a Next-Generation Internet Architecture in Partial Deployment
MSc thesis · Kyveli Mavromati · 2021
sciVPN: Improving Privacy for End-Users Through Precise Notions of Trust
Semester thesis · Zilin Wang, ICRC · 2021
Data Plane Security Aspects in Next-Generation Internet Architecture Design
BSc thesis · Dominik Lehmann · 2021
VPN Under Attack: DDoS Resilience Analysis of VPN Gateways
MSc thesis · Fabio Streun · 2021
- Information Security Lab (263-0009-00L)
- Computer Networks (252-0064-00L)
- Schnupperstudium Informatik (CSNOW)