Ilia A. Lebedev

According to our database, Ilia A. Lebedev authored at least 20 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Sanctorum: A lightweight security monitor for secure enclaves.

Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas

IACR Cryptol. ePrint Arch., 2019

MI6: Secure Enclaves in a Speculative Out-of-Order Processor.

Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

2018

Secure Boot and Remote Attestation in the Sanctum Processor.

Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas

IACR Cryptol. ePrint Arch., 2018

DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors.

Vladimir Kiriansky, Ilia A. Lebedev, Saman P. Amarasinghe, Srinivas Devadas, Joel S. Emer

IACR Cryptol. ePrint Arch., 2018

Mission Assurance: Beyond Secure Processing.

Michael Vai, David Whelihan, Jacob Leemaster, Haley Whitman, Willahelm Wan, Yunsi Fei, Roger Khazan, Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

A Formal Foundation for Secure Remote Execution of Enclaves.

Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia

IACR Cryptol. ePrint Arch., 2017

Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture.

Victor Costan, Ilia A. Lebedev, Srinivas Devadas

Found. Trends Electron. Des. Autom., 2017

Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture.

Victor Costan, Ilia A. Lebedev, Srinivas Devadas

Found. Trends Electron. Des. Autom., 2017

PriviPK: Certificate-less and secure email communication.

Mashael AlSabah, Alin Tomescu, Ilia A. Lebedev, Dimitrios N. Serpanos, Srinivas Devadas

Comput. Secur., 2017

Leveraging Hardware Isolation for Process Level Access Control & Authentication.

Syed Kamran Haider, Hamza Omar, Ilia A. Lebedev, Srinivas Devadas, Marten van Dijk

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

2016

Sanctum: Minimal Hardware Extensions for Strong Software Isolation.

Victor Costan, Ilia A. Lebedev, Srinivas Devadas

Proceedings of the 25th USENIX Security Symposium, 2016

2015

Sanctum: Minimal RISC Extensions for Isolated Execution.

Victor Costan, Ilia A. Lebedev, Srinivas Devadas

IACR Cryptol. ePrint Arch., 2015

2013

Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine.

Keun Sup Shim, Mieszko Lis, Myong Hyon Cho, Ilia A. Lebedev, Srinivas Devadas

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Hardware-level thread migration in a 110-core shared-memory multiprocessor.

Mieszko Lis, Keun Sup Shim, Brandon Cho, Ilia A. Lebedev, Srinivas Devadas

Proceedings of the 2013 IEEE Hot Chips 25 Symposium (HCS), 2013

2012

Exploring Many-Core Design Templates for FPGAs and ASICs.

Ilia A. Lebedev, Christopher W. Fletcher, Shaoyi Cheng, James C. Martin, Austin Doupnik, Daniel Burke, Mingjie Lin, John Wawrzynek

Int. J. Reconfigurable Comput., 2012

2011

Brief announcement: distributed shared memory based on computation migration.

Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Christopher W. Fletcher, Michel A. Kinsy, Ilia A. Lebedev, Omer Khan, Srinivas Devadas

Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

Bridging the GPGPU-FPGA efficiency gap.

Christopher W. Fletcher, Ilia A. Lebedev, Narges Bani Asadi, Daniel Burke, John Wawrzynek

Proceedings of the ACM/SIGDA 19th International Symposium on Field Programmable Gate Arrays, 2011

2010

MARC: A Many-Core Approach to Reconfigurable Computing.

Ilia A. Lebedev, Shaoyi Cheng, Austin Doupnik, James C. Martin, Christopher W. Fletcher, Daniel Burke, Mingjie Lin, John Wawrzynek

Proceedings of the ReConFig'10: 2010 International Conference on Reconfigurable Computing and FPGAs, 2010

OpenRCL: Low-Power High-Performance Computing with Reconfigurable Devices.

Mingjie Lin, Ilia A. Lebedev, John Wawrzynek

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

High-throughput bayesian computing machine with reconfigurable hardware.

Mingjie Lin, Ilia A. Lebedev, John Wawrzynek

Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010