Giters
Proteus Core (proteus-core)

Proteus Core

proteus-core

Geek Repo

Proteus is a configurable RISC-V core.

Github PK Tool:Github PK Tool

Proteus Core's repositories

proteus

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

Language:ScalaLicense:MITStargazers:36Issues:2Issues:5

prospect

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

Language:CLicense:MITStargazers:14Issues:3Issues:0

cheritree

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"

Language:CoqStargazers:3Issues:2Issues:0

ami

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"

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

newlib

Board support package for Newlib on Proteus.

Language:CLicense:MITStargazers:0Issues:1Issues:0