A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance. - Joel Wanner; Laurent Chuat; Adrian Perrig (SRDS, 2020)

Evaluating Susceptibility of VPN Implementations to DoS Attacks Using Adversarial Testing. - Fabio Streun; Joel Wanner; Adrian Perrig (NDSS, 2022)

Creating a Secure Underlay for the Internet. - Henry Birge-Lee; Joel Wanner; Grace H. Cimaszewski; Jonghoon Kwon; Liang Wang 054; François Wirz; Prateek Mittal; Adrian Perrig; Yixin Sun (USENIX Security Symposium, 2022)