Dayeol Lee

I'm a Research Scientist at TikTok Privacy Innovation Lab. My research interest is system security, trusted execution environment, computer architecture, and formal verification. Before I joined TikTok, I was a Software Engineer at Anyscale Inc. I finished my Ph.D. in Computer Sciense at UC Berkeley. I was a part of Berkeley Architecture Research group in the ADEPT Lab, advised by Krste Asanović.
I also closely worked with Dawn Song, Sanjit Seshia, and Raluca Ada Popa.


I have also earned B.S./M.S. in Computer Science from POSTECH, advised by Jangwoo Kim.

I'm a maintainer of Keystone project.
Contact: dayeol [at] berkeley [dot] edu

Google Scholar GitHub

Education

University of California, Berkeley, CA
Ph.D. in Computer Science, Aug 2017 - May 2022
Pohang University of Science and Technology, South Korea
M.S. in Computer Science and Engineering, Mar 2016 - Aug 2017
Pohang University of Science and Technology, South Korea
B.S. in Computer Science and Engineering, Mar 2009 - Feb 2016

Experience

TikTok Inc., San Jose, CA
Research Scientist, Sep 2023 - present
Anyscale Inc., San Francisco, CA
Software Engineering, June 2022 - Sep 2023
Google Research, Mountain View, CA
Software Engineering Intern, May 2021 - Aug 2021
Intel Labs, Hillsboro, OR
Graduate Research Intern, May 2020 - Aug 2020
Penta Security Systems Inc., South Korea
System/Software Engineer, Apr 2013 - Jan 2015
WINS Co. Ltd., South Korea
Network Security Researcher, Mar 2012 - Apr 2013

Publications

All Selected Conference Workshop Journal Patent
2022
Conference Selected
[CCS'22] A Formal Approach to Secure and Efficient Enclave Memory Sharing (to appear)
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, and Krste Asanovic
The ACM Conference on Computer and Communications Security, November 2022
Selected
[Ph.D. Dissertation] Building Trusted Execution Environments
Dayeol Lee (Chair: Krste Asanovic)
Ph.D. Dissertation, Electrical Engineering and Computer Sciences University of California, Berkeley, May 2022
2021
Workshop
[CARRV'21] ERTOS: Enclaves in Real-Time Operating Systems
Alex Thomas, Stephan Kaminsky, Dayeol Lee, Dawn Song, and Krste Asanovic
Fifth Workshop on Computer Architecture Research with RISC-V co-located with ISCA'21, June 2021
Patent
[US Patent] Scalabe Attestation for Trusted Execution Environments
Anjo Lucas Vahldiek-Oberwagner, Ravi L Sahita, Mona Vij, Dayeol Lee, Haidong Xia, Rameshkumar Illikkal, Samuel Ortiz, Kshitij Arun Doshi, Mourad Cherfaoui, Andrzej Kuriata, Teck Joo Goh
US Patent, April 2021
2020
Conference Selected
[USENIX Security'20] An Off-Chip Attack on Hardware Enclaves via the Memory Bus
Dayeol Lee, Dongha Jung, Ian T. Fang, Chia-Che Tsai, and Raluca Ada Popa
In proceedings of the 29th USENIX Security Symposium, Boston, MA, August 2020
Workshop
[SECRISC-V'20] Verifying RISC-V Physical Memory Protection
Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia
International Workshop on Secure RISC-V co-located with ISPASS'20, August 2020
Journal
[S&P Magazine] Building Open Trusted Execution Environments
David Kohlbrenner, Shweta Shinde, Dayeol Lee, Krste Asanovic, Dawn Song
IEEE Security & Privacy Magazine, May 2020
Workshop
[CARRV'20] Software-Based Off-Chip Memory Protection for RISC-V Trusted Execution Environments
Gui Andrade, Dayeol Lee, David Kohlbrenner, Krste Asanovic, Dawn Song
Fourth Workshop on Computer Architecture Research with RISC-V co-located with ISCA'20, May 2020
Conference Selected
[EuroSys'20] Keystone: An Open Framework for Architecting Trusted Execution Environments
Dayeol Lee, David Kohlbrenner, Shweta Shinde, Dawn Song, and Krste Asanovic
In proceedings of the 15th European Conference on Computer Systems, Heraklion, Greece, April 2020
2019
Conference
[DATE'19] Sanctorum: A Lightweight Security Monitor for Secure Enclaves
Ilia Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanović, Dawn Song, and Srini Devadas
Design, Automation, and Test in Europe, February 2019
Journal
[IEEE Micro Top Picks 2018] 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 Katz, Jonathan Bachrach, and Krste Asanovic
In IEEE Micro, Volume 39 , Issue 3, May-June 2019 (Special Issue: Top Picks from the 2018 Computer Architecture Conferences), May-June 2019
2018
Conference
[ISCA'18] 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 Katz, Jonathan Bachrach, and Krste Asanovic
In proceedings of the 45th International Symposium on Computer Architecture (ISCA), Los Angeles, CA, June 2018
Conference Selected
[ISCA'18] Flexon: A Flexible Digital Neuron for Efficient Spiking Neural Network Simulations
Dayeol Lee, Gwangmu Lee, Dongup Kwon, Sunghwa Lee, Youngsok Kim, and Jangwoo Kim
In proceedings of the 45th International Symposium on Computer Architecture (ISCA), Los Angeles, CA, June 2018
2017
Selected
[M.S. Thesis] Low-power Spiking Neuron Microarchitecture
Dayeol Lee (Advisor: Jangwoo Kim)
M.S. Thesis, Pohang University of Science and Technology, South Korea, August 2017

Honors & Awards

Kwanjeong Ph.D. Scholarship
Kwanjeong Educational Foundation, Financial Aid, Aug 2017 - May 2022
Undergraduate Research Program (URP) Fellowship
POSTECH, Financial Aid/Award of Excellence, Jun 2015 - Nov 2015
National Science & Technology Scholarship
Korea Student Aid Foundation, Financial Aid, Mar 2015 - Feb 2016
Samsung JFL Scholarship>
Samsung Electronics, Financial Aid, Mar 2008 - Feb 2011
DEFCON CTF World Final, Las Vegas
3rd place, Aug 2010