Proteus Core
Proteus is a configurable RISC-V core. Check out the ecosystem and proteus repositories for development, and the other repositories of the security extensions.
- 21 followers
- Belgium
Pinned Loading
Repositories
Showing 8 of 8 repositories
- embench Public Forked from embench/embench-iot
The Embench benchmarks repository modified for the Proteus ecosystem
- newlib Public archive
Board support package for Newlib on Proteus, now integrated into the ecosystem.
- 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"
- libra Public
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors
- 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"
Top languages
Loading…
Most used topics
Loading…