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
3242016
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
972018
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
692010
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
672010
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
602017
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
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
322019
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
202018
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
132017
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 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
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
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
82018
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
82013
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
Keystone-Opensource Secure Hardware Enclave
D Lee, D Kohlbrenner, S Shinde, K Asanovic, D Song, I Lebedev, ...
English, 2019
62019
Sanctum: Minimal RISC Extensions for Isolated Execution.
V Costan, IA Lebedev, S Devadas
IACR Cryptol. ePrint Arch. 2015, 564, 2015
52015
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
Systems and methods authenticating a digitally signed assertion using verified evaluators
CT Wentz, I Lebedev
US Patent App. 16/400,636, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20