Project Details
Description
SaTC: CORE: Small: Checking Security Checks in OS Kernels
| Status | Finished |
|---|---|
| Effective start/end date | 10/1/19 → 9/30/23 |
Funding
- THE NATIONAL SCIENCE FOUNDATION
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.