CARDINAL: Computer Assisted Authoring of Movie Scripts. - Marcel Marti; Jodok Vieli; Wojciech Witon; Rushit Sanghrajka; Daniel Inversini; Diana Wotruba; Isabel Simo; Sasha Schriber; Mubbasir Kapadia; Markus H. Gross (IUI, 2018)

A Formal Framework for End-to-End DNS Resolution. - Si Liu 003; Huayi Duan; Lukas Heimes; Marco Bearzi; Jodok Vieli; David A. Basin; Adrian Perrig (SIGCOMM, 2023)

CAMP: Compositional Amplification Attacks against DNS. - Huayi Duan; Marco Bearzi; Jodok Vieli; David A. Basin; Adrian Perrig; Si Liu 003; Bernhard Tellenbach (USENIX Security Symposium, 2024)