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