Ilia Lebedev
Ilia Lebedev
gradient.tech, MIT
Verified email at gradient.tech - Homepage
Title
Cited by
Cited by
Year
Sanctum: Minimal hardware extensions for strong software isolation
V Costan, I Lebedev, S Devadas
25th {USENIX} Security Symposium ({USENIX} Security 16), 857-874, 2016
2952016
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
792018
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
662010
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
652010
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
592010
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
542017
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
222019
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
212011
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
172018
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
122012
Secure processors part I: background, taxonomy for secure enclaves and Intel SGX architecture
V Costan, I Lebedev, S Devadas
Foundations and Trends in Electronic Design Automation 11 (1-2), 1-248, 2017
112017
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
112011
Secure processors part II: Intel SGX security analysis and MIT sanctum architecture
V Costan, IA Lebedev, S Devadas
Foundations and Trends in Electronic Design Automation 11 (3), 249-361, 2017
82017
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
72013
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
72013
Keystone-Opensource Secure Hardware Enclave
D Lee, D Kohlbrenner, S Shinde, K Asanovic, D Song, I Lebedev, ...
English, 2019
62019
Sanctorum: A lightweight security monitor for secure enclaves
I Lebedev, K Hogan, J Drean, D Kohlbrenner, D Lee, K Asanović, D Song, ...
arXiv preprint arXiv:1812.10605, 2018
52018
Hardware-level thread migration in a 110-core shared-memory processor
M Lis, KS Shim, B Cho, I Lebedev, S Devadas
Proceedings of the 25th Annual Hot Chips: A Symposium on High Performance …, 2013
52013
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
42018
Leveraging hardware isolation for process level access control & authentication
SK Haider, H Omar, I Lebedev, S Devadas, M van Dijk
Proceedings of the 22nd ACM on Symposium on Access Control Models and …, 2017
42017
The system can't perform the operation now. Try again later.
Articles 1–20