Fingerprint
Dive into the research topics where Dave Naumann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
SaTC: CORE: Small: Auto-active Hyperproperty Verification for Security
Naumann, D. (PI)
1/10/24 → 30/09/27
Project: Research project
-
SaTC: CORE: Small: Relational Verification for Information Assurance and Privacy
Naumann, D. (PI)
1/08/17 → 31/07/23
Project: Research project
-
EAGER: Hyperproperty Abstraction for Information Flow Control
Naumann, D. (PI)
1/09/16 → 31/08/18
Project: Research project
-
TWC: Medium: Collaborative: Flexible and Practical Information Flow Assurance for Mobile Apps
Naumann, D. (PI)
1/08/12 → 30/06/17
Project: Research project
-
SHF: Small: Collaborative Research: Specification Language Foundations for Modular Reasoning Methodologies
Naumann, D. (PI)
1/08/09 → 31/07/12
Project: Research project
-
ALIGNMENT COMPLETE RELATIONAL HOARE LOGICS FOR SOME AND ALL
Nagasamudram, R., Banerjee, A. & Naumann, D. A., 2025, In: Logical Methods in Computer Science. 21, 4Research output: Contribution to journal › Article › peer-review
Open Access -
WhyRel: an auto-active relational verifier
Nagasamudram, R., Banerjee, A. & Naumann, D. A., 2025, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.Research output: Contribution to journal › Article › peer-review
Open Access -
Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq
Nagasamudram, R., Beringer, L., Birman, K., Milano, M. & Naumann, D. A., 2024, NASA Formal Methods - 16th International Symposium, NFM 2024, Proceedings. Benz, N., Gopinath, D. & Shi, N. (eds.). p. 99-117 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14627 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
An Algebra of Alignment for Relational Verification
Antonopoulos, T., Koskinen, E., Le, T. C., Nagasamudram, R., Naumann, D. A. & Ngo, M., 9 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 573-603 31 p.Research output: Contribution to journal › Article › peer-review
Open Access18 Scopus citations -
A Relational Program Logic with Data Abstraction and Dynamic Framing
Banerjee, A., Nagasamudram, R., Naumann, D. & Nikouei, M., 10 Jan 2023, In: ACM Transactions on Programming Languages and Systems. 44, 4, 25.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations