Felix A. Wolf

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

Collaborative distances:

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

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

Concise outlines for a complex logic: a proof outline checker for TaDA.

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

Formal Methods Syst. Des., 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

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