Naumann, David A.

1. Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
   2002/12/04 by Anindya Banerjee, Banerjee, Anindya, David A. Naumann +1 · 1 citation
   Computer Science · #D.3.3 #F.3.1 #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
2. Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
   2013/12/23 by Dupressoir, François, Gordon, Andrew D., Jürjens, Jan +1 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
3. A Relational Program Logic with Data Abstraction and Dynamic Framing
   2019/10/31 by Anindya Banerjee, Banerjee, Anindya, Ramana Nagasamudram +5 · 1 voice · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #cs.LO #cs.PL
4. Thirty-seven years of relational Hoare logic: remarks on its principles\n and history
   2020/07/13 by David A. Naumann, Naumann, David A. · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #Web Application Security Vulnerabilities
5. Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
   2023/09/07 by Murray, Toby, Tiwari, Mukesh, Ernst, Gidon +1 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences