Felix A. Wolf

Identifiers

• name variant Felix A. Wolf 0.60 · backfill

Papers (5)

1. Protocols to Code: Formal Verification of a Next-Generation Internet Router cs.CR · 2024 · author #6
2. Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version) cs.CR · 2022 · author #2
3. Gobra: Modular Specification and Verification of Go Programs (extended version) cs.PL · 2021 · author #1
4. Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper) cs.PL · 2020 · author #1
5. Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification cs.LO · 2020 · author #4

Mentions

• 2405.06074 #6 · arxiv_oai · confidence 0.70 Felix A. Wolf
• 2212.04171 #2 · arxiv_oai · confidence 0.70 Felix A. Wolf
• 2010.07080 #1 · arxiv_oai · confidence 0.70 Felix A. Wolf
• 2105.13840 #1 · arxiv_oai · confidence 0.70 Felix A. Wolf
• 2010.04749 #4 · arxiv_oai · confidence 0.70 Felix A. Wolf

Frequent Coauthors

• Peter M\"uller 5 shared papers
• Christoph Sprenger 3 shared papers
• David Basin 3 shared papers
• Jo\~ao C. Pereira 2 shared papers
• Linard Arquint 2 shared papers
• Marco Eilers 2 shared papers
• Martin Clochard 2 shared papers
• Tobias Klenze 2 shared papers
• Adrian Perrig 1 shared papers
• Dionysios Spiliopoulos 1 shared papers
• Joseph Lallemand 1 shared papers
• Malte Schwerhoff 1 shared papers
• Markus Limbeck 1 shared papers
• Ralf Sasse 1 shared papers
• Sofia Giampietro 1 shared papers
• Sven N. Wiesner 1 shared papers
• Wytse Oortwijn 1 shared papers