Follow
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
7132016
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
3552018
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
1522017
Mi6: Secure enclaves in a speculative out-of-order processor
T Bourgeat, I Lebedev, A Wright, S Zhang, Arvind, S Devadas
Proceedings of the 52nd Annual IEEE/ACM International Symposium on …, 2019
1502019
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
802010
Systems and methods authenticating a digitally signed assertion using verified evaluators
CT Wentz, I Lebedev
US Patent 11,218,324, 2022
742022
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
712010
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
652010
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
582018
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
462017
Secure processors part II: Intel SGX security analysis and MIT sanctum architecture
V Costan, I Lebedev, S Devadas
Foundations and Trends® in Electronic Design Automation 11 (3), 249-361, 2017
442017
Methods and systems for anonymous hardware attestation
C Wentz, I Lebedev, A Iysyanskaya
US Patent 10,742,421, 2020
292020
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, 8-8, 2012
222012
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
222011
Apparatus and methods for testing circuit elements at one or more manufacturing stages
CT Wentz, I Lebedev
US Patent 11,599,098, 2023
182023
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
162013
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
152019
Methods and systems for implementing an anonymized attestation chain
C Wentz, I Lebedev, A Iysyanskaya
US Patent 10,735,205, 2020
142020
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
122011
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
112013
The system can't perform the operation now. Try again later.
Articles 1–20