Srini Devadas

Srini Devadas

Biography

Srini Devadas received his Ph.D. in 1988 from the University of California at Berkeley and has been on the MIT faculty since 1988. He is a Professor of EECS at MIT and currently serves as Associate Head of EECS. His research interests include computer security, computer architecture, computer-aided design of VLSI circuits, formal verification, and computational biology. He has written numerous papers in these areas, and co-authored four books on CAD. He has served on the technical program committees of several conferences, as an Associate Editor of the ACM Transactions on Design Automation, and serves on the editorial board of other journals. He is a Fellow of the IEEE.

Publications

  • Gassend, B., D. Clarke, M. van Dijk, and S. Devadas, ``Silicon Physical Random Functions'', Proceedings of the Computer and Communication Security Conference, November 2002.
  • Clarke, D., G. E. Suh, B. Gassend, A. Sudan, M. van Dijk, S. Devadas, ``Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data'', Proceedings of the IEEE Symposium on Security and Privacy, May 2005.
  • Suh, G., E., C. O'Donnell, I. Sachdev, and S. Devadas, ``Design and Implementation of the Aegis Secure Processor Using Physical Random Functions'', Proceedings of the Int'l Symposium on Computer Architecture, June 2005.
  • Gassend, B., C. W. O'Donnell, W. Thies, A. Lee, M. van Dijk, S. Devadas, ``Predicting Secondary Structure of All-Helical Proteins Using Hidden Markov Support Vector Machines'', 2006 Workshop on Pattern Recognition in Bioinformatics, August 2006.
  • Sarmenta, L., M. van Dijk, C. O'Donnell, J. Rhodes, ``Unlimited Virtual Monotonic Counters using a TPM without a Trusted OS'', The First ACM Workshop on Scalable Trusted Computing (STC'06), November 2006.

Awards

  • ACM Special Interest Group on Programming Languages: ASPLOS Most Influential Paper (2014)
  • ACM SIGARCH: Inclusion in volume 25 Years of Int'l Conf on Supercomputing (2014)
  • IEEE Computer Society: Technical Achievement Award (2014)
  • Design Automation Conference: DAC Top 10 Cited Author (2013)
  • Design Automation Conference: Best-Paper Hat Trick Award (2013)
  • ACM SIGSAC: CCS Best Student Paper (2013)
  • ACM/IEEE: Best Paper (2011)
  • Annual Computer Security Applications Conference: Outstanding Student Paper Award (2002)
  • International Conference on Parallel and Distributed Computing: Best paper award in High Performance Systems Category (2001)