Snapshot of the three implementations (in Sail, Proteus and Morello, respectively) discussed in our EuroS&P 2023 paper "CHERI-TrEE: Flexible enclaves on capability machines"
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool