Srini Devadas

Sanctum: Towards an Open-Source, Formally-Verified Secure Processor

IC Colloquia

Click on a slide to jump to that slide. Scroll to see all the slide thumbnails.