Verified Hardware Roots of Trust Using a Command and Control Calculus, Structural Operational Semantics and the Higher Order Logic

Project: Sponsored Project

Project Details

StatusFinished
Effective start/end date5/1/12 → 5/24/13