STARSS: Small: Collaborative: Specification and Verification for Secure Hardware

  • 1528108
  • 2017
  • SaTC Pi Meeting 2017
  • Project Slides
Submitted by Sanjit Seshia on