STARSS: Small: Collaborative: Specification and Verification for Secure Hardware Download pdf Tags: 1528108 2017 SaTC Pi Meeting 2017 Project Slides License: Creative Commons 2.5 Submitted by Sanjit Seshia on Fri, 03/24/2017 - 17:01