SaTC: CORE: Small: Checking Security Checks in OS Kernels

Project: Research project

Description

SaTC: CORE: Small: Checking Security Checks in OS Kernels
StatusActive
Effective start/end date10/1/199/30/22

Funding

  • National Science Foundation