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

Project: Research project

StatusFinished
Effective start/end date5/1/125/24/13

Funding

  • US Air Force Research Labs/Rome
  • US Air Force Research Labs/Rome