Home - Topics - Papers - Talks - Theses - Blog - CV - Photos - Funny

Theses

Grounded Verification of Recursive Trace Systems – Benjamin Bürki	Jun 23 2026
Votegral: Towards Usable, End-to-End Verifiable, Coercion-Resistant Online Voting – Louis-Henri Merino	Dec 5 2025
Formalizing Grounded Arithmetic atop Isabelle/Pure – Sascha Kehrli	Sep 30 2025
Exploring the Resolution of Delegations in Liquid Democracy with Fractional Delegation – David Nicolaus Matthäus Holzwarth	Aug 28 2025
Robust and High-Performance Wide-Area Consensus Protocols – Pasindu Tennage	Aug 15 2025
Beyond the ratchet: practical challenges in secure messaging – Simone Colombo	Jan 10 2025
Towards General-Purpose Decentralized Computing with Permissionless Extensibility – Enis Ceyhun ALP	Jan 19 2024
Building Strongly-Consistent Systems Resilient to Failures, Partitions, and Slowdowns – Cristina Băsescu	May 26 2023
Toward Internet Performance Transparency – Georgia Fragkouli	Aug 29 2022
3PBCS: A Privacy-Preserving, Personhood-Based Credential System – Ksandros Apostoli	Mar 22 2022
Integrity and Metadata Protection in Data Retrieval – Kirill Nikitin	Nov 26 2021
Privacy-Preserving Federated Analytics using Multiparty Homomorphic Encryption – David Jules Froelicher	Oct 1 2021
Analyzing and Protecting Communication Metadata – Ludovic Barman	Sep 17 2021
Secure, Confidential Blockchains Providing High Throughput and Low Latency – Eleftherios Kokoris Kogias	Sep 27 2019
A Flexible Architecture for Structural Reliability Auditing to the Clouds – Ennan Zhai	Aug 11 2015
Identity Management through Privacy-Preserving Authentication – Ewa Syta	Aug 11 2015
Warding off Timing Channels in Deterland – Weiyi Wu	Aug 10 2015
Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities – John Maheswaran	Jun 24 2015
A Wire-Compatible TCP Implementation for Low-Latency Applications – Michael F. Nowlan	Mar 7 2014
Deterministic OpenMP – Amittai F. Aviram	Sep 20 2012
UIA: A Global Connectivity Architecture for Mobile Personal Devices – Bryan Ford	Sep 1 2008
Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking – Bryan Ford	Sep 3 2002