Dayeol Lee

According to our database, Dayeol Lee authored at least 11 papers between 2018 and 2022.

Collaborative distances:

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

2022

Building Trusted Execution Environments

Dayeol Lee

PhD thesis, 2022

Verifying RISC-V Physical Memory Protection.

Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia

CoRR, 2022

Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.

Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2020

Building Open Trusted Execution Environments.

David Kohlbrenner, Shweta Shinde, Dayeol Lee, Krste Asanovic, Dawn Song

IEEE Secur. Priv., 2020

Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple.

Dayeol Lee, Dmitrii Kuvaiskii, Anjo Vahldiek-Oberwagner, Mona Vij

CoRR, 2020

An Off-Chip Attack on Hardware Enclaves via the Memory Bus.

Dayeol Lee, Dongha Jung, Ian T. Fang, Chia-che Tsai, Raluca Ada Popa

Proceedings of the 29th USENIX Security Symposium, 2020

Keystone: an open framework for architecting trusted execution environments.

Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanovic, Dawn Song

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud.

Sagar Karandikar, Howard Mao, Donggyu Kim, David Biancolin, Alon Amid, Dayeol Lee, Nathan Pemberton, Emmanuel Amaro, Colin Schmidt, Aditya Chopra, Qijing Huang, Kyle Kovacs, Borivoje Nikolic, Randy Howard Katz, Jonathan Bachrach, Krste Asanovic

IEEE Micro, 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

Keystone: A Framework for Architecting TEEs.

Dayeol Lee, David Kohlbrenner, Shweta Shinde, Dawn Song, Krste Asanovic

CoRR, 2019

2018

Flexon: A Flexible Digital Neuron for Efficient Spiking Neural Network Simulations.

Dayeol Lee, Gwangmu Lee, Dongup Kwon, Sunghwa Lee, Youngsok Kim, Jangwoo Kim

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018