The SpinalHDL design of the Proteus core, an extensible RISC-V core.

The central repository for working with the Proteus ecosystem and RISC-V core.

Board support package for Newlib on Proteus.

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.

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"

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors

Snapshot of the AMi implementation discussed in our S&P 2024 paper "Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs"