Felix A. Wolf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. | Joo C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Mller, Adrian Perrig |
| 2024 | CCS | Verifiable Security Policies for Distributed Systems. | Felix A. Wolf, Peter Mller |
| 2023 | SP | Sound Verification of Security Protocols: From Design to Interoperable Implementations. | Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Mller |
| 2021 | CAV | Gobra: Modular Specification and Verification of Go Programs. | Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, Joo Carlos Pereira, Peter Mller |
| 2021 | FM | Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. | Felix A. Wolf, Malte Schwerhoff, Peter Mller |