Elaine Shi

Elaine Shi

Associate Professor
Computer Science
Gates Hall 437


I design and build systems that are efficient, provably secure, and friendly to users and programmers. To this end, I take an interdisciplinary approach that blends cryptography, systems security, and language-based security.

Selected Publications

  • Pass, Rafael, Elaine Shi, Florian Tramer.  2017.  "Formal Abstractions for Attested Exe- cution Processors."  Paper presented at In Eurocrypt
  • Tramr, Florian, Fan Zhang, Lin Huang, Hubaux Jean-Pierre, Ari Juels, Elaine Shi.  2017.  "Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge."  Paper presented at In IEEE European Symposium on Security and Privacy
  • Kosba, Ahmed, Andrew Miller, Elaine Shi, Zikai Wen, Charalampos Papamanthou.  2016.  Paper presented at IEEE European Symposium on Security and Privacy, 2016
  • Nayak, Kartik, Srijan Kumar, Andrew Miller, Elaine Shi.  2016.  "Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack."  Paper presented at IEEE European Symposium on Security and Privacy, 2016
  • Devadas, Srini, Marten van Dijk, Christopher Fletcher, Ling Ren, Elaine Shi, Daniel Wichs.  2016.  "Onion ORAM: A Constant Bandwidth Blowup Oblivious RAM."  Paper presented at Theory of Cryptography Conference (TCC), 2016

Selected Awards and Honors

  • First Place in the CSAW Applied Cybersecurity Research Competition 2016
  • ASPLOS Best Paper Award 2015
  • HLI Award for Secure Multiparty Computing 2015
  • Packard Fellowship 2015
  • Finalist for Microsoft Faculty Fellowship 2014


Carnegie Mellon University 2008