Eilers, Marco

1. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
   2022/11/15 by Eilers, Marco, Dardinier, Thibault, Müller, Peter · 3 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Rich Specifications for Ethereum Smart Contract Verification
   2021/04/20 by Bräm, Christian, Eilers, Marco, Müller, Peter +2 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. Verification Algorithms for Automated Separation Logic Verifiers
   2024/05/17 by Eilers, Marco, Schwerhoff, Malte, Müller, Peter · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
4. Protocols to Code: Formal Verification of a Next-Generation Internet Router
   2024/05/09 by João C. Pereira, Tobias Klenze, Pereira, João C. +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)