Ilia A. Lebedev

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