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

Project: Research project

Project Details

Description

SaTC: CORE: Small: Checking Security Checks in OS Kernels
StatusFinished
Effective start/end date10/1/19 → 9/30/23

Funding

  • THE NATIONAL SCIENCE FOUNDATION