Felix A. Wolf

According to our database, Felix A. Wolf authored at least 13 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for the paper "Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router".

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

Dataset, August, 2025

2024

Automated Verification of Advanced Correctness and Security Properties.

Felix A. Wolf

PhD thesis, 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, David A. Basin, Peter Müller, Adrian Perrig

CoRR, 2024

Verifiable Security Policies for Distributed Systems.

Felix A. Wolf, Peter Müller

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

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 Müller

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

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 Müller

Dataset, August, 2022

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 Müller

Dataset, August, 2022

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version).

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller

CoRR, 2022

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

CoRR, 2021

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA.

Felix A. Wolf, Malte Schwerhoff, Peter Müller

Proceedings of the Formal Methods - 24th International Symposium, 2021

Gobra: Modular Specification and Verification of Go Programs.

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Igloo: soundly linking compositional refinement and separation logic for distributed system verification.

Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin

Proc. ACM Program. Lang., 2020

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper).

Felix A. Wolf, Malte Schwerhoff, Peter Müller

CoRR, 2020