Projects per year
Projects
- 8 Finished
Search results
-
Finished
Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
Heimdahl, M. (PI), Hopper, N. (CoI), Lu, K. (CoI), McCamant, S. A. (CoI) & Rayadurgam, S. (CoI)
THE NATIONAL SCIENCE FOUNDATION
10/1/19 → 9/30/21
Project: Research project
-
HeapBuster: Automatically Exploiting Heap Vulnerabilities
McCamant, S. A. (PI)
8/5/19 → 8/4/22
Project: Research project
-
SATC: CORE: Small: MOSE: Automated Detection of Module-Specific Semantic Errors
Lu, K. (PI) & McCamant, S. A. (CoI)
THE NATIONAL SCIENCE FOUNDATION
9/1/18 → 8/31/21
Project: Research project
-
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M. (PI), McCamant, S. A. (CoI) & Rayadurgam, S. (CoI)
THE NATIONAL SCIENCE FOUNDATION
6/15/16 → 5/31/22
Project: Research project
-
CSR:Medium:Dynamic Binary Translation for a Retargetable
Yew, P.-C. (PI), McCamant, S. A. (CoI) & Zhai, A. B. (CoI)
THE NATIONAL SCIENCE FOUNDATION
9/1/15 → 8/31/19
Project: Research project
-
TWC: Small: Confidentiality Measurement of Complex Compu
McCamant, S. A. (PI)
THE NATIONAL SCIENCE FOUNDATION
9/1/15 → 8/31/19
Project: Research project
-
Binary Transformation and Contract Discovery
Heimdahl, M. (PI), McCamant, S. A. (CoI), Rayadurgam, S. (CoI) & Whalen, M. W. (CoI)
ADVENTIUM LABS, USDOD DEFENSE ADV RES PROJECTS
5/8/15 → 5/9/16
Project: Research project
-
FUZZBOMB: Fully Automated Cyber Security Engine
McCamant, S. A. (PI)
SMART INFORMATION FLOW TECHNOLOGIES, USDOD DEFENSE ADV RES PROJECTS
6/3/14 → 7/10/15
Project: Research project