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 001; Aditya Chopra; Qijing Huang 001; Kyle Kovacs; et al. (ISCA, 2018)

Flexon: A Flexible Digital Neuron for Efficient Spiking Neural Network Simulations. - Dayeol Lee; Gwangmu Lee; Dongup Kwon; Sunghwa Lee; Youngsok Kim; Jangwoo Kim (ISCA, 2018)

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 (DATE, 2019)

Keystone: A Framework for Architecting TEEs. - Dayeol Lee; David Kohlbrenner; Shweta Shinde; Dawn Song; Krste Asanovic (CoRR, 2019)

Keystone: an open framework for architecting trusted execution environments. - Dayeol Lee; David Kohlbrenner; Shweta Shinde; Krste Asanovic; Dawn Song (EuroSys, 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 (USENIX Security Symposium, 2020)

Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple. - Dayeol Lee; Dmitrii Kuvaiskii; Anjo Vahldiek-Oberwagner; Mona Vij (CoRR, 2020)

Building Open Trusted Execution Environments. - David Kohlbrenner; Shweta Shinde; Dayeol Lee; Krste Asanovic; Dawn Song (IEEE Secur. Priv., 2020)

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 (CCS, 2022)

Verifying RISC-V Physical Memory Protection. - Kevin Cheang; Cameron Rasmussen; Dayeol Lee; David W. Kohlbrenner; Krste Asanovic; Sanjit A. Seshia (CoRR, 2022)

Building Trusted Execution Environments - Dayeol Lee (2022)

Privacy-Preserving Decentralized AI with Confidential Computing. - Dayeol Lee; Jorge António; Hisham Khan (CoRR, 2024)