162 citations · 332 across the 14 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…