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