Repositories list

• prospect

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

  securityspectrespeculation+ 1

  securityspectrespeculationrisc-v

  C

  •

  MIT License

  •44 forks•1919 stars•00 issues•00 pull requests•Updated Apr 26, 2026Apr 26, 2026

• proteus

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

  securitycpuresearch+ 7

  securitycpuresearchfpgahardwareriscvrtlverilogrisc-vspinalhdl

  Scala

  •

  MIT License

  •1414 forks•6161 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• ecosystem

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

  C

  •22 forks•33 stars•00 issues•00 pull requests•Updated Apr 11, 2026Apr 11, 2026

• embench

  Public
  The Embench benchmarks repository modified for the Proteus ecosystem

  C

  •

  GNU General Public License v3.0

  •136136 forks•11 star•00 issues•00 pull requests•Updated Dec 9, 2025Dec 9, 2025

• newlib

  Public archive
  Board support package for Newlib on Proteus, now integrated into the ecosystem.

  Linker Script

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Sep 12, 2025Sep 12, 2025

• 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 capabil…

  Rocq Prover

  •11 fork•44 stars•00 issues•00 pull requests•Updated Jun 19, 2025Jun 19, 2025

• libra

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

  LLVM

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Sep 6, 2024Sep 6, 2024

• ami

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

  Scala

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated May 9, 2024May 9, 2024