Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper). - Felix A. Wolf; Malte Schwerhoff; Peter Müller 001 (CoRR, 2020)

Igloo: soundly linking compositional refinement and separation logic for distributed system verification. - Christoph Sprenger 001; Tobias Klenze; Marco Eilers; Felix A. Wolf; Peter Müller 001; Martin Clochard; David A. Basin (Proc. ACM Program. Lang., 2020)

Gobra: Modular Specification and Verification of Go Programs. - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CAV (1), 2021)

Gobra: Modular Specification and Verification of Go Programs (extended version). - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CoRR, 2021)

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (CoRR, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (Zenodo, 2022)

Concise outlines for a complex logic: a proof outline checker for TaDA. - Felix A. Wolf; Malte Schwerhoff; Peter Müller 001 (Formal Methods Syst. Des., 2022)

Sound Verification of Security Protocols: From Design to Interoperable Implementations. - Linard Arquint; Felix A. Wolf; Joseph Lallemand; Ralf Sasse; Christoph Sprenger 001; Sven N. Wiesner; David A. Basin; Peter Müller 001 (SP, 2023)

Verifiable Security Policies for Distributed Systems. - Felix A. Wolf; Peter Müller 001 (CCS, 2024)

Protocols to Code: Formal Verification of a Next-Generation Internet Router. - João C. Pereira; Tobias Klenze; Sofia Giampietro; Markus Limbeck; Dionysios Spiliopoulos; Felix A. Wolf; Marco Eilers; Christoph Sprenger 001; David A. Basin; Peter Müller 001; Adrian Perrig (CoRR, 2024)

Automated Verification of Advanced Correctness and Security Properties. - Felix A. Wolf (2024)