Srini Devadas
Srini Devadas , also Srinivas Devadas , (* 1963 ) is an American computer engineer and computer scientist. He is a professor at the Massachusetts Institute of Technology (MIT).
Devadas received his PhD in 1988 from Arthur Richard Newton at the University of California, Berkeley ( Techniques for Optimization-Based Synthesis of Digital Systems ). He has been with the Faculty of Electrical Engineering and Computer Science (EECS) at MIT since 1988 and was its associate head responsible for computer science from 2005 to 2011. Devadas is Edwin Sibley Webster Professor of Electrical Engineering and Computer Science at Csail .
He deals with CAD , computer security, and computer architecture. In particular, he is known for the development of processors that receive their security key from the chip hardware production data and are therefore particularly secure, processors with so-called physical unclonable functions (PUF). A prototype that he built with colleagues was Aegis between 2002 and 2004. Today (2016) they are used, for example, in Canon cameras.
His group also developed a processor (Ascend) that uses a RAM protocol (Path Oblivious RAM, Path ORAM) that allows principally insecure software programs to access encrypted data in RAM without compromising their security. He also analyzed Intel's hardware security architecture SGX (Software Guard Extensions) and designed an alternative architecture (Sanctum) based on his own experience with Aegis and Ascend.
He also deals with various other areas of computer science such as computational biology.
In 2017 he received the W. Wallace McDowell Award . He is a Fellow of the IEEE and the Association for Computing Machinery (ACM). He has received MIT's two top honors for undergraduate teaching (Everett Moore Baker Teaching Award and MacVicar Faculty Fellow). In 2015 he received the ACM / IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation and in 2014 the IEEE Computer Society Technical Achievement Award for the invention of Physical Unclonable Functions and secure single-chip processor architectures. In 2014 he received the Most Influential Paper Award from ASPLOS (ACM Special Interest Group on Programming Languages) for his work on Hardware Information Flow Tracking.
Fonts (selection)
- Editor with Luis Miguel Silveira, Ricardo Reis: VLSI: systems on a chip , (10th Int. Conf. VLSI, Lisbon 1999), Kluwer 2000
- with Abhijit Ghosh, A. Richard Newton: Sequential Logic Testing and Verification , Springer 1992
- with Pranav Ashar, A. Richard Newton: Sequential Logic Synthesis , Springer, Kluwer 1992
- with Abhijit Ghosh; Kurt Keutzer: Logic Synthesis , McGraw Hill 1994
- Editor with José Monteiro: Computer-aided design techniques for low power sequential logic circuits , Kluwer 1997
- with G. Edward Suh, L. Rudolph, Analytical Cache Models with Application to Cache Partitioning , Proceedings of the 15th International Conference on Supercomputing, June 2001
- with B. Gassend, D. Clarke, M. van Dijk: Silicon Physical Random Functions , Proceedings of the Computer and Communication Security Conference, November 2002.
- with E. Suh, D. Clarke, B. Gassend, M. van Dijk: AEGIS: Architectures for Tamper-Evident and Tamper-Resistant Processing , Proceedings of the 17th International Conference on Supercomputing, June 2003.
- with GE Suh, C. O'Donnell, I. Sachdev: Design and Implementation of the Aegis Secure Processor Using Physical Random Functions , Proceedings of the Internat. Symposium on Computer Architecture, June 2005.
- with E. Stefanov a. a .: Path ORAM: An Extremely Simple Oblivious RAM Protocol , Proceedings of the 20th Computer and Communication Security Conference (CCS), November 2013.
- with V. Costan, I. Lebedev: Sanctum: Minimal Hardware Extensions for Strong Software Isolation , Proceedings of the 25th Usenix Security Symposium, August 2016
- with A. Kwon u. a .: Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services , Proceedings of the 24th Usenix Security Symposium, August 2015.
- with A. Kwon u. a .: Riffle: An Efficient Communication System with Strong Anonymity , Proceedings of the 16th Privacy Enhancing Technologies Symposium (PETS), July 2016.
- Programming for the puzzled: learn to program while solving puzzles , MIT Press 2017
Web links
Individual evidence
- ↑ Srini Devadas in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Devadas, Srini |
| ALTERNATIVE NAMES | Devadas, Srinivas |
| BRIEF DESCRIPTION | American computer engineer and computer scientist |
| DATE OF BIRTH | 1963 |