• Publications & Talks

Publications

Multiple Sides of 36 Coins: Measuring Peer-to-Peer Infrastructure Across Cryptocurrencies

Lucianna Kiffer, Lioba Heimbach, Dennis Trautwein, Yann Vonlanthen, Oliver Gasser

ACM Sigmetrics 2026 | November 2025

Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router

João Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix Wolf, Marco Eilers, Christoph Sprenger, David Basin, Peter Müller, Adrian Perrig

ACM Conference on CCS 2025 | October 2025