Popular repositories Loading

1. proteus proteus Public

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

   Scala 54 11

2. prospect prospect Public

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

   C 18 3

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"

   Rocq Prover 4 1

4. libra libra Public

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

   LLVM 4

5. newlib newlib Public

   Board support package for Newlib on Proteus.

   C 1

6. 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