MI6: Secure Enclaves in a Speculative Out-of-Order Processor

by Bourgeat, Thomas, Lebedev, Ilia A., Wright, Andrew D., Zhang, Sizhuo, Arvind, Devadas, Srinivas
Published 2021

Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine

by Shim, Keun Sup, Lis, Mieszko, Cho, Myong Hyon, Devadas, Srinivas, Lebedev, Ilia A.
Published 2014

DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors

by Kiriansky, Vladimir L. (Vladimir Lubenov), Lebedev, Ilia A., Amarasinghe, Saman P, Devadas, Srinivas, Emer, Joel S
Published 2020

Sanctorum: A lightweight security monitor for secure enclaves

by Lebedev, Ilia A., Hogan, Kyle, Drean, Jules, Kohlbrenner, David, Lee, Dayeol, Asanovic, Krste, Song, Dawn, Devadas, Srinivas
Published 2021

Brief announcement: Distributed shared memory based on computation migration

by Lis, Mieszko, Shim, Keun Sup, Cho, Myong Hyon, Fletcher, Christopher Wardlaw, Kinsy, Michel A., Lebedev, Ilia A., Khan, Omer, Devadas, Srinivas
Published 2012

First Result from the Alpha Magnetic Spectrometer on the International Space Station: Precision Measurement of the Positron Fraction in Primary Cosmic Rays of 0.5-350 GeV

by Basil, A., Becker, R., Becker, Ulrich J., Behlmann, Matthew Daniel, Berges, P., Burger, Joseph D., Cai, X. D., Capell, Michael H., Chen, Andrew I., Chen, H., Choumilov, Evgueni, Choutko, Vitali, Dennett, P., Egorov, A., Eline, Alexandre, Eppling, Frederic J., Fisher, Peter H., Flood, Kevin T., Galaktionov, Y., Gallilee, M., Gargiulo, C., Goglov, Pavel, Hungerford, W., Incagli, M., Koulemzine, A., Kounina, Olga, Kounine, Andrei, Koutsenko, Vladimir, Krafczyk, Matthew Scott, Lebedev, Ilia A., Plyaskin, V., Rozhkov, A., Schinzel, D., Steuer, V., Sun, W., Ting, Samuel C. C., Ting, S. M., Titus, Christine, Vaurynovich, Siarhei S., Vergain, M., Wang, X., Willenbrock, M., Zuccon, Paolo, P. Berges
Published 2013