Projects per year
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
-
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
-
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 Access6 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 Access -
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications
Murray, T., Tiwari, M., Ernst, G. & Naumann, D. A., 15 Nov 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. p. 1746-1760 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
Special issue: 35th IEEE Computer Security Symposium-CSF 2022
Calzavara, S. & Naumann, D., 13 Oct 2023, In: Journal of Computer Security. 31, 5, p. 419-420 2 p.Research output: Contribution to journal › Editorial
Open Access