Srini Devadas

MIT

Talk Title: Can Security be Automatic in Computer Systems?

The Spectre and Meltdown attacks caught the computer-security community off-guard, showcasing surprising opportunities for information leaks through timing side channels, defeating conventional process isolation. This means that hardware has to be redesigned from the ground up to ensure provable isolation properties of the resulting designs. Hardware redesign is a long, complex process -- hardware has to be performant, correct, and secure. How far can we go in terms of automating this process?

Bio

Srini Devadas is the Webster Professor of EECS at MIT where he has been on the faculty since 1988. His current research interests are in computer security, computer architecture and applied cryptography. Devadas received the 2015 ACM/IEEE Richard Newton award, the 2017 IEEE W. Wallace McDowell award and the 2018 IEEE Charles A. Desoer award for his research in secure hardware. He is a Fellow of the ACM and IEEE. He is a MacVicar Faculty Fellow, an Everett Moore Baker and a Bose award recipient, considered MIT's highest teaching honors.