Popular repositories

1. proteus proteus Public

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

   Scala 36 7

2. prospect prospect Public

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

   C 14 1

3. cheritree cheritree Public

   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"

   Coq 3 1

4. newlib newlib Public

   Board support package for Newlib on Proteus.

   C 1

5. ami ami Public

   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"

   Scala