13 citations · 20 across the 3 of their papers we have counts for
3 papers
cs.CR2024★ 1 cited
Privacy-Preserving Decentralized AI with Confidential Computing
Dayeol Lee, Jorge António, Hisham Khan
This paper addresses privacy protection in decentralized Artificial Intelligence (AI) using Confidential Computing (CC) within the Atoma Network, a decentralized AI platform design…
cs.CR2022★ 6 cited
Verifying RISC-V Physical Memory Protection
Kevin Cheang, Cameron Rasmussen, Dayeol Lee +3
We formally verify an open-source hardware implementation of physical memory protection (PMP) in RISC-V, which is a standard feature used for memory isolation in security critical…
cs.CR2022★ 13 cited
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Dayeol Lee, Kevin Cheang, Alexander Thomas +7
Hardware enclaves rely on a disjoint memory model, which maps each physical address to an enclave to achieve strong memory isolation. However, this severely limits the performance…