TRUSTEDCPU: FORMALLY VERIFIED MICROCODE CUSTOMIZATION FOR SECURITY EXPLOIT MITIGATION

$674,800FY2024Department of the NavyDOD

Virginia Polytechnic Institute & State University

Investigators