proteus-core / cheritree

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

Github PK Tool

CHERITrEE

Snapshot of the three implementations (in Sail, Proteus and Morello, found in the respective homonymous folders) discussed in our EuroS&P 2023 paper "CHERI-TrEE: Flexible enclaves on capability machines"

About

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"

Languages

Language:Coq 52.9%Language:Isabelle 14.0%Language:Standard ML 12.3%Language:C 9.7%Language:Verilog 4.6%Language:Assembly 2.0%Language:Scala 1.9%Language:Python 0.8%Language:Makefile 0.6%Language:SystemVerilog 0.5%Language:HTML 0.3%Language:Shell 0.1%Language:OCaml 0.1%Language:Perl 0.1%Language:C++ 0.1%Language:Java 0.0%Language:TeX 0.0%Language:Dockerfile 0.0%Language:M4 0.0%