Language-Hardware Co-Design for Practical and Verifiable Information Flow Control

  • Formal Methods and Language-based Security
  • Hardware Security Architecture
  • Hardware Security Design
  • 1513797
  • SaTC PI Meeting 2019
  • Project Slides
Submitted by Gookwon Suh on Wed, 01/08/2020 - 12:10