David A. Naumann

Identifiers

• name variant David A. Naumann 0.60 · backfill

Papers (7)

1. Whither Programs as Specifications cs.LO · 2019 · author #1
2. Relational Logic with Framing and Hypotheses: Technical Report cs.LO · 2016 · author #2
3. Hypercollecting Semantics and its Application to Static Analysis of Information Flow cs.PL · 2016 · author #2
4. Calculational Design of Information Flow Monitors (extended version) cs.CR · 2016 · author #2
5. Towards Patterns for Heaps and Imperative Lambdas cs.PL · 2015 · author #1
6. Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols cs.CR · 2013 · author #4
7. A Simple Semantics and Static Analysis for Stack Inspection cs.PL · 2013 · author #2

Mentions

• 1312.6532 #4 · backfill · confidence 0.70 David A. Naumann
• 1309.5144 #2 · backfill · confidence 0.70 David A. Naumann

Frequent Coauthors

• Anindya Banerjee 2 shared papers
• Mounir Assaf 2 shared papers
• Andrew D. Gordon 1 shared papers
• \'Eric Totel 1 shared papers
• Fran\c{c}ois Dupressoir 1 shared papers
• Fr\'ed\'eric Tronel 1 shared papers
• Jan J\"urjens 1 shared papers
• Julien Signoles 1 shared papers
• Minh Ngo 1 shared papers
• Mohammad Nikouei 1 shared papers