Projects per year
Search results
-
Active
SaTC: CORE: Small: Regulating and Leveraging Types for Security
THE NATIONAL SCIENCE FOUNDATION
8/1/23 → 7/31/26
Project: Research project
-
SaTC: CORE: Small: Regulating and Leveraging Types for Security
8/1/23 → 7/31/26
Project: Research project
-
Community-Engaged Design and Implementation of a Framework for Ethical Online Communities Research
Chancellor, S., Yarosh, L., Lu, K., Konstan, J. A. & Terveen, L. G.
1/1/23 → 12/31/25
Project: Research project
-
Collaborative Research: SaTC: CORE: Small: Improving Decentralized Kernel Patch Ecosystems
THE NATIONAL SCIENCE FOUNDATION
7/1/22 → 6/30/25
Project: Research project
-
Collaborative Research: SaTC: CORE: Small: Improving Decentralized Kernel Patch Ecosystems
7/1/22 → 6/30/25
Project: Research project
-
CAREER: Whole-Kernel Analysis Against Developer and Compiler-Introduced Errors
THE NATIONAL SCIENCE FOUNDATION
10/1/21 → 9/30/26
Project: Research project
-
CAREER: Whole-Kernel Analysis Against Developer- and Compiler-Introduced Errors
10/1/21 → 9/30/26
Project: Research project
-
CNS Core:Medium: NFLambda -- A Granular, Scalable and Secure NFV Framework for High Performance Packet Processing at 100 Gbps and Beyond
Zhang, Z. Z., Lu, K. & Zhai, A. B.
10/1/21 → 9/30/24
Project: Research project
-
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
-
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
-
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., 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