| Sanctum: Minimal hardware extensions for strong software isolation V Costan, I Lebedev, S Devadas 25th USENIX Security Symposium (USENIX Security 16), 857-874, 2016 | 873 | 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 | 453 | 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 | 210 | 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 | 195 | 2017 |
| Systems and methods authenticating a digitally signed assertion using verified evaluators CT Wentz, I Lebedev US Patent 11,218,324, 2022 | 132 | 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 | 68 | 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 | 67 | 2018 |
| Methods and systems for anonymous hardware attestation C Wentz, I Lebedev, A Iysyanskaya US Patent 10,742,421, 2020 | 65 | 2020 |
| 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 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 |
| Secure processors part II: Intel SGX security analysis and MIT sanctum architecture V Costan, I Lebedev, S Devadas Foundatiosn and Trends in Electronic Design Automation 11 (3), 249-361, 2017 | 45 | 2017 |
| Apparatus and methods for testing circuit elements at one or more manufacturing stages CT Wentz, I Lebedev US Patent 11,599,098, 2023 | 41 | 2023 |
| Methods and systems for implementing an anonymized attestation chain C Wentz, I Lebedev, A Iysyanskaya US Patent 10,735,205, 2020 | 33 | 2020 |
| 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 |
| 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 | 24 | 2012 |
| 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 | 20 | 2019 |
| Methods and systems for implementing mixed protocol certificates CT Wentz, M Belenkiy, A Lysyanskaya, I Lebedev US Patent 11,374,771, 2022 | 19 | 2022 |
| 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 | 19 | 2013 |
| 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 | 13 | 2013 |
Victor CostanMIT CSAILVerified email at mit.edu
Victor CostanMIT CSAILVerified email at mit.edu