Sanctum: Minimal hardware extensions for strong software isolation V Costan, I Lebedev, S Devadas 25th USENIX Security Symposium (USENIX Security 16), 857-874, 2016 | 792 | 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 | 404 | 2018 |
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 | 183 | 2019 |
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 | 173 | 2017 |
Systems and methods authenticating a digitally signed assertion using verified evaluators CT Wentz, I Lebedev US Patent 11,218,324, 2022 | 109 | 2022 |
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 | 83 | 2010 |
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 | 71 | 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 | 65 | 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 | 64 | 2018 |
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 | 53 | 2017 |
Methods and systems for anonymous hardware attestation C Wentz, I Lebedev, A Iysyanskaya US Patent 10,742,421, 2020 | 49 | 2020 |
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 | 46 | 2017 |
Apparatus and methods for testing circuit elements at one or more manufacturing stages CT Wentz, I Lebedev US Patent 11,599,098, 2023 | 32 | 2023 |
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 | 25 | 2011 |
Methods and systems for implementing an anonymized attestation chain C Wentz, I Lebedev, A Iysyanskaya US Patent 10,735,205, 2020 | 24 | 2020 |
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 (1), 439141, 2012 | 23 | 2012 |
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 | 17 | 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 | 16 | 2019 |
Methods and systems for implementing mixed protocol certificates CT Wentz, M Belenkiy, A Lysyanskaya, I Lebedev US Patent 11,374,771, 2022 | 15 | 2022 |
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 | 13 | 2011 |