GitHub repository: proteus-core/cheritree
Created: 2023-04-17T13:52:04Z
Description: 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"