BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Colloquium : Sanctum: Towards an Open-Source\, Formally-Verifie
 d Secure Processor
DTSTART:20170927T161500
DTEND:20170927T173000
DTSTAMP:20260413T205142Z
UID:4c554d3e4a46a7071deec48a8eaaf447f4183fb2d348157387a805d5
CATEGORIES:Conferences - Seminars
DESCRIPTION:By : Srini Devadas - Massachusetts Institute of Technology\nVi
 deo of his talk\n\nAbstract :\nArchitectural isolation can be used to secu
 re computation on a remote secure processor with a private key where the p
 rivileged software is potentially malicious as recently deployed by Intel'
 s Software Guard Extensions (SGX). This talk will first describe the Sanct
 um secure processor architecture\, which offers the same promise as SGX\, 
 namely strong provable isolation of software modules running concurrently 
 and sharing resources\, but protects against an important class of additio
 nal software attacks that infer private information by exploiting resource
  sharing.\n\nThe talk will then describe a verification methodology based 
 on a trusted abstract platform (TAP) that formally models idealized enclav
 es and a parameterized adversary. Machine-checked proofs show that the TAP
  satisfies the three key security properties needed for secure remote exec
 ution: integrity\, confidentiality and secure measurement.  Machine-check
 ed proofs also show that SGX and Sanctum are refinements of the TAP under 
 certain parameterizations of the adversary\, demonstrating these systems i
 mplement secure enclaves for the stated adversary models.\n\nJoint work wi
 th Victor Costan\, Ilia Lebedev\, and the Seshia Group at U. C. Berkeley.\
 n\nBiography:\nSrini Devadas is the Webster Professor of Electrical Engine
 ering and Computer Science at the Massachusetts Institute of Technology (M
 IT) where he has been on the faculty since 1988. Devadas's research intere
 sts span Computer-Aided Design (CAD)\, computer security and computer arch
 itecture. He is a Fellow of the IEEE and ACM. He has received a 2014 IEEE 
 Computer Society Technical Achievement award\, the 2015 ACM/IEEE Richard N
 ewton technical impact award\, and the 2017 IEEE Wallace McDowell award fo
 r his research. Devadas is a MacVicar Faculty Fellow and an Everett Moore 
 Baker teaching award recipient\, considered MIT's two highest undergraduat
 e teaching honors.\n\nMore information
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR