Ilia A. Lebedev

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 17

Top Topics

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Found. Trends Electron. Des. Autom.

Publications

Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas
Sanctorum: A lightweight security monitor for secure enclaves. IACR Cryptol. ePrint Arch. 2019 (2019)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO (2019)
Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas
Sanctorum: A lightweight security monitor for secure enclaves. DATE (2019)
Michael Vai, David Whelihan, Jacob Leemaster, Haley Whitman, Willahelm Wan, Yunsi Fei, Roger Khazan, Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas
Mission Assurance: Beyond Secure Processing. QRS Companion (2018)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR (2018)
Vladimir Kiriansky, Ilia A. Lebedev, Saman P. Amarasinghe, Srinivas Devadas, Joel S. Emer
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors. IACR Cryptol. ePrint Arch. 2018 (2018)
Vladimir Kiriansky, Ilia A. Lebedev, Saman P. Amarasinghe, Srinivas Devadas, Joel S. Emer
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors. MICRO (2018)
Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas
Sanctorum: A lightweight security monitor for secure enclaves. CoRR (2018)
Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas
Secure Boot and Remote Attestation in the Sanctum Processor. IACR Cryptol. ePrint Arch. 2018 (2018)
Syed Kamran Haider, Hamza Omar, Ilia A. Lebedev, Srinivas Devadas, Marten van Dijk
Leveraging Hardware Isolation for Process Level Access Control & Authentication. SACMAT (2017)
Victor Costan, Ilia A. Lebedev, Srinivas Devadas
Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture. Found. Trends Electron. Des. Autom. 11 (3) (2017)
Victor Costan, Ilia A. Lebedev, Srinivas Devadas
Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture. Found. Trends Electron. Des. Autom. 11 (1-2) (2017)
Mashael AlSabah, Alin Tomescu, Ilia A. Lebedev, Dimitrios N. Serpanos, Srinivas Devadas
PriviPK: Certificate-less and secure email communication. Comput. Secur. 70 (2017)
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
A Formal Foundation for Secure Remote Execution of Enclaves. CCS (2017)
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
A Formal Foundation for Secure Remote Execution of Enclaves. IACR Cryptol. ePrint Arch. 2017 (2017)
Victor Costan, Ilia A. Lebedev, Srinivas Devadas
Sanctum: Minimal Hardware Extensions for Strong Software Isolation. USENIX Security Symposium (2016)
Victor Costan, Ilia A. Lebedev, Srinivas Devadas
Sanctum: Minimal RISC Extensions for Isolated Execution. IACR Cryptol. ePrint Arch. 2015 (2015)
Keun Sup Shim, Mieszko Lis, Myong Hyon Cho, Ilia A. Lebedev, Srinivas Devadas
Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine. ICCD (2013)
Mieszko Lis, Keun Sup Shim, Brandon Cho, Ilia A. Lebedev, Srinivas Devadas
Hardware-level thread migration in a 110-core shared-memory multiprocessor. Hot Chips Symposium (2013)
Ilia A. Lebedev, Christopher W. Fletcher, Shaoyi Cheng, James C. Martin, Austin Doupnik, Daniel Burke, Mingjie Lin, John Wawrzynek
Exploring Many-Core Design Templates for FPGAs and ASICs. Int. J. Reconfigurable Comput. 2012 (2012)
Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Christopher W. Fletcher, Michel A. Kinsy, Ilia A. Lebedev, Omer Khan, Srinivas Devadas
Brief announcement: distributed shared memory based on computation migration. SPAA (2011)
Christopher W. Fletcher, Ilia A. Lebedev, Narges Bani Asadi, Daniel Burke, John Wawrzynek
Bridging the GPGPU-FPGA efficiency gap. FPGA (2011)
Mingjie Lin, Ilia A. Lebedev, John Wawrzynek
High-throughput bayesian computing machine with reconfigurable hardware. FPGA (2010)
Ilia A. Lebedev, Shaoyi Cheng, Austin Doupnik, James C. Martin, Christopher W. Fletcher, Daniel Burke, Mingjie Lin, John Wawrzynek
MARC: A Many-Core Approach to Reconfigurable Computing. ReConFig (2010)
Mingjie Lin, Ilia A. Lebedev, John Wawrzynek
OpenRCL: Low-Power High-Performance Computing with Reconfigurable Devices. FPL (2010)