Ilia Lebedev
Ilia Lebedev
gradient.tech, MIT
Email confirmado em gradient.tech - Página inicial
Título
Citado por
Citado por
Ano
Sanctum: Minimal hardware extensions for strong software isolation
V Costan, I Lebedev, S Devadas
25th {USENIX} Security Symposium ({USENIX} Security 16), 857-874, 2016
4382016
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
1722018
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
832017
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
752010
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
702019
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
702010
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
602010
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
322018
Secure processors part I: background, taxonomy for secure enclaves and Intel SGX architecture
V Costan, I Lebedev, S Devadas
Now Foundations and Trends, 2017
232017
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
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
202012
Secure processors part II: Intel SGX security analysis and MIT sanctum architecture
V Costan, I Lebedev, S Devadas
Now Publishers, 2017
172017
Systems and methods authenticating a digitally signed assertion using verified evaluators
CT Wentz, I Lebedev
US Patent App. 16/400,636, 2019
142019
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
132013
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
122019
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
Keystone: Open-source secure hardware enclave
D Lee, D Kohlbrenner, S Shinde, K Asanovic, D Song, I Lebedev, ...
English, 2019
72019
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20