Mary and Gordon Crary Family Professor in the School of Engineering, and Professor, by courtesy, of Electrical Engineering and of Education
Professor (By courtesy), Electrical Engineering
Professor (By courtesy), Graduate School of Education
Higher Education | Teachers and Teaching | Technology and Education
Barthe, G., Fagerholm, E., Fiore, D., Mitchell, J., Scedrov, A., & Schmidt, B. (2019). Automated Analysis of Cryptographic Assumptions in Generic Group Models. JOURNAL OF CRYPTOLOGY, 32(2), 324–60.
Mandal, A., Mitchell, J. C., Montgomery, H., & Roy, A. (2018). Data Oblivious Genome Variants Search on Intel SGX. DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 11025, 296–310.
Stefan, D., Mazieres, D., Mitchell, J. C., & Russo, A. (2017). Flexible dynamic information flow control in the presence of exceptions. JOURNAL OF FUNCTIONAL PROGRAMMING, 27.