Ilia Lebedev
Ilia Lebedev, MIT
Verified email at - Homepage
Cited by
Cited by
Sanctum: Minimal hardware extensions for strong software isolation
V Costan, I Lebedev, S Devadas
25th {USENIX} Security Symposium ({USENIX} Security 16), 857-874, 2016
DAWG: A defense against cache timing attacks in speculative execution processors
V Kiriansky, I Lebedev, S Amarasinghe, S Devadas, J Emer
2018 51st Annual IEEE/ACM International Symposium on Microarchitecture …, 2018
A formal foundation for secure remote execution of enclaves
P Subramanyan, R Sinha, I Lebedev, S Devadas, SA Seshia
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
High-throughput bayesian computing machine with reconfigurable hardware
M Lin, I Lebedev, J Wawrzynek
Proceedings of the 18th annual ACM/SIGDA international symposium on Field …, 2010
Mi6: Secure enclaves in a speculative out-of-order processor
T Bourgeat, I Lebedev, A Wright, S Zhang, S Devadas
Proceedings of the 52nd Annual IEEE/ACM International Symposium on …, 2019
MARC: A many-core approach to reconfigurable computing
I Lebedev, S Cheng, A Doupnik, J Martin, C Fletcher, D Burke, M Lin, ...
2010 international conference on reconfigurable computing and FPGAs, 7-12, 2010
OpenRCL: low-power high-performance computing with reconfigurable devices
M Lin, I Lebedev, J Wawrzynek
2010 international conference on field programmable logic and applications …, 2010
Secure boot and remote attestation in the sanctum processor
I Lebedev, K Hogan, S Devadas
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 46-60, 2018
Secure processors part I: background, taxonomy for secure enclaves and Intel SGX architecture
V Costan, I Lebedev, S Devadas
Now Foundations and Trends, 2017
Bridging the GPGPU-FPGA efficiency gap
CW Fletcher, IA Lebedev, NB Asadi, DR Burke, J Wawrzynek
Proceedings of the 19th ACM/SIGDA international symposium on Field …, 2011
Exploring many-core design templates for fpgas and asics
I Lebedev, C Fletcher, S Cheng, J Martin, A Doupnik, D Burke, M Lin, ...
International Journal of Reconfigurable Computing 2012, 2012
Systems and methods authenticating a digitally signed assertion using verified evaluators
CT Wentz, I Lebedev
US Patent App. 16/400,636, 2019
Secure processors part II: Intel SGX security analysis and MIT sanctum architecture
V Costan, I Lebedev, S Devadas
Now Publishers, 2017
Hardware-level thread migration in a 110-core shared-memory multiprocessor
M Lis, KS Shim, B Cho, I Lebedev, S Devadas
2013 IEEE Hot Chips 25 Symposium (HCS), 1-27, 2013
Sanctorum: A lightweight security monitor for secure enclaves
I Lebedev, K Hogan, J Drean, D Kohlbrenner, D Lee, K Asanović, D Song, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
Brief announcement: distributed shared memory based on computation migration
M Lis, KS Shim, MH Cho, CW Fletcher, M Kinsy, I Lebedev, O Khan, ...
Proceedings of the twenty-third annual ACM symposium on Parallelism in …, 2011
Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine
KS Shim, M Lis, MH Cho, I Lebedev, S Devadas
2013 IEEE 31st International Conference on Computer Design (ICCD), 145-153, 2013
Keystone: Open-source secure hardware enclave
D Lee, D Kohlbrenner, S Shinde, K Asanovic, D Song, I Lebedev, ...
English, 2019
Mission Assurance: Beyond Secure Processing
M Vai, D Whelihan, J Leemaster, H Whitman, W Wan, Y Fei, R Khazan, ...
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
Sanctum: Minimal RISC Extensions for Isolated Execution.
V Costan, IA Lebedev, S Devadas
IACR Cryptol. ePrint Arch. 2015, 564, 2015
The system can't perform the operation now. Try again later.
Articles 1–20