Péter Müller

1. Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
   2024/04/04 by G. Parthasarathy, Parthasarathy, Gaurav, Thibault Dardinier +7 · 3 citations
   Computer Science · #Security and Verification in Computing #Formal Methods in Verification #Logic, programming, and type systems
2. A Broadly Applicable Strategy for Entry into Homogeneous Nickel(0) Catalysts from Air-Stable Nickel(II) Complexes
   2014/04/16 by Eric A. Standley, Stacey J. Smith, Péter Müller +2 · 1 citation
   Chemistry · #Asymmetric Hydrogenation and Catalysis #Catalytic Cross-Coupling Reactions #Catalytic C–H Functionalization Methods
3. Automatic Verification of Iterated Separating Conjunctions using\n Symbolic Execution
   2016/03/02 by Péter Müller, Müller, Peter, Malte Schwerhoff +3 · 1 citation
   Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
4. 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
5. Compositional Reasoning for Side-effectful Iterators and Iterator Adapters
   2022/10/18 by Aurel Bílý, Bílý, Aurel, Jonas Hansen +5 · 1 citation
   Computer Science · #68Q60 #Advanced Software Engineering Methodologies #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
6. Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
   2025/03/27 by Zachary Grannan, Grannan, Zachary, Aurel Bílý +11 · 2 citations
   Computer Science · #Software Testing and Debugging Techniques #Logic, programming, and type systems #Formal Methods in Verification
7. 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)