Dayeol Lee

1. Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple
   2020/09/09 by Dayeol Lee, Dmitrii Kuvaiskii, Lee, Dayeol +5 · 1 citation
   Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data #Security and Verification in Computing
2. Verifying RISC-V Physical Memory Protection
   2022/11/03 by Kevin Cheang, Cheang, Kevin, Cameron Rasmussen +9 · 1 citation
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Radiation Effects in Electronics #Security and Verification in Computing
3. Keystone: An Open Framework for Architecting TEEs
   2019/07/23 by Dayeol Lee, David Kohlbrenner, Lee, Dayeol +7 · 2 citations
   Computer Science · Decision Sciences · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Operating Systems (cs.OS) #Scientific Computing and Data Management #Security and Verification in Computing