Felix A. Wolf

13 papers A* 3B 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router.
CCS
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2024 — —
Automated Verification of Advanced Correctness and Security Properties.
Felix A. Wolf
2024 J jnl
Protocols to Code: Formal Verification of a Next-Generation Internet Router.
CoRR
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2024 A* conf
Verifiable Security Policies for Distributed Systems.
CCS
Felix A. Wolf, Peter Müller
2023 A* conf
Sound Verification of Security Protocols: From Design to Interoperable Implementations.
SP
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022 J jnl
Concise outlines for a complex logic: a proof outline checker for TaDA.
Formal Methods Syst. Des.
Felix A. Wolf, Malte Schwerhoff, Peter Müller
2022 J jnl
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version).
CoRR
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2021 B conf
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA.
FM
Felix A. Wolf, Malte Schwerhoff, Peter Müller
2021 J jnl
Gobra: Modular Specification and Verification of Go Programs (extended version).
CoRR
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2021 — conf
Gobra: Modular Specification and Verification of Go Programs.
CAV (1)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller
2020 J jnl
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper).
CoRR
Felix A. Wolf, Malte Schwerhoff, Peter Müller
2020 J jnl
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification.
CoRR
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020 J jnl
Igloo: soundly linking compositional refinement and separation logic for distributed system verification.
Proc. ACM Program. Lang.
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin