Wolf, Felix A.

1. Gobra: Modular Specification and Verification of Go Programs (extended version)
   2021/05/28 by Wolf, Felix A., Arquint, Linard, Clochard, Martin +3 · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
   2022/12/08 by Linard Arquint, Arquint, Linard, Felix A. Wolf +13 · 2 citations
   Computer Science · #Advanced Authentication Protocols Security #Cryptography and Security (cs.CR) #Digital Rights Management and Security #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing
3. Protocols to Code: Formal Verification of a Next-Generation Internet Router
   2024/05/09 by João C. Pereira, Pereira, João C., Tobias Klenze +19 · 1 citation
   Computer Science · Engineering · #Advanced Authentication Protocols Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #IPv6, Mobility, Handover, Networks, Security #Networking and Internet Architecture (cs.NI) #Programming Languages (cs.PL)