Professor, Computer Science
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.
© Stanford University, Stanford, California 94305.
