Projects per year
Search results
-
Finished
Travel: NSF Student Travel Grant for The 2nd International Workshop on Ethics in Computer Security(EthiCS 2023)
THE NATIONAL SCIENCE FOUNDATION
2/1/23 → 1/31/24
Project: Research project
-
Travel: NSF Student Travel Grant for The 2nd International Workshop on Ethics in Computer Security (EthiCS 2023)
2/1/23 → 1/31/24
Project: Research project
-
SaTC: CORE: Small: Checking Security Checks in OS Kernels
THE NATIONAL SCIENCE FOUNDATION
10/1/19 → 9/30/23
Project: Research project
-
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