25 citations · 33 across the 3 of their papers we have counts for
3 papers
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.CR2019★ 25 cited
Keystone: An Open Framework for Architecting TEEs
Dayeol Lee, David Kohlbrenner, Shweta Shinde +2
Trusted execution environments (TEEs) are being used in all the devices from embedded sensors to cloud servers and encompass a range of cost, power constraints, and security threat…
cs.CR2018★ 2 cited
Sanctorum: A lightweight security monitor for secure enclaves
Ilia Lebedev, Kyle Hogan, Jules Drean +5
Enclaves have emerged as a particularly compelling primitive to implement trusted execution environments: strongly isolated sensitive user-mode processes in a largely untrusted sof…