| Sanctum: Minimal hardware extensions for strong software isolation V Costan, I Lebedev, S Devadas 25th USENIX Security Symposium (USENIX Security 16), 857-874, 2016 | 682 | 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 | 331 | 2018 |
| 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 | 144 | 2017 |
| 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 | 140 | 2019 |
| 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 | 72 | 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 |
| Systems and methods authenticating a digitally signed assertion using verified evaluators CT Wentz, I Lebedev US Patent 11,218,324, 2022 | 60 | 2022 |
| 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 | 53 | 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 | 44 | 2017 |
| 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 | 41 | 2017 |
| 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 | 22 | 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, 8-8, 2012 | 21 | 2012 |
| Methods and systems for anonymous hardware attestation C Wentz, I Lebedev, A Iysyanskaya US Patent 10,742,421, 2020 | 16 | 2020 |
| 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 | 16 | 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 | 15 | 2019 |
| 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 | 12 | 2011 |
| 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 | 11 | 2013 |
| Apparatus and methods for testing circuit elements at one or more manufacturing stages CT Wentz, I Lebedev US Patent 11,599,098, 2023 | 9 | 2023 |
| Methods and systems for implementing an anonymized attestation chain C Wentz, I Lebedev, A Iysyanskaya US Patent 10,735,205, 2020 | 8 | 2020 |
Victor CostanMIT CSAILPotvrđena adresa e-pošte na mit.edu
