Ilia A. Lebedev

25 papers A* 4A 3B 2C 2Journal 11Unranked 3

Year	Rank	Type	Title / 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