IntelLabs / c3-simulator
C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data encryption, stack unwinding support for C++ exception handling, debugger enabling, and scripting for running tests.
☆16Updated 4 months ago
Alternatives and similar repositories for c3-simulator:
Users that are interested in c3-simulator are comparing it to the libraries listed below
- A port of the RIPE suite to RISC-V.☆29Updated 6 years ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆22Updated last year
- A behavioural cache model for analysing the cache behaviour under side-channel attack.☆22Updated 5 months ago
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operat…☆17Updated 4 months ago
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆46Updated 2 weeks ago
- ☆24Updated 5 months ago
- ☆60Updated last month
- Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assembly☆14Updated 3 years ago
- A simple utility for doing RISC-V HPM perf monitoring.☆14Updated 7 years ago
- SCARV: a side-channel hardened RISC-V platform☆24Updated 2 years ago
- An FPGA-based NetTLP adapter☆24Updated 5 years ago
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆20Updated 2 years ago
- Fuzzing for SpinalHDL☆16Updated 2 years ago
- A Rocket-Chip with a Dynamically Randomized LLC☆12Updated 6 months ago
- A library for PCIe Transaction Layer☆54Updated 2 years ago
- RTLCheck☆20Updated 6 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆47Updated last week
- ☆15Updated 3 months ago
- RISC-V IOMMU Demo (Linux & Bao)☆19Updated last year
- A fault-injection framework using Chisel and FIRRTL☆34Updated 2 years ago
- Testing processors with Random Instruction Generation☆35Updated last week
- A Modular Open-Source Hardware Fuzzing Framework☆32Updated 3 years ago
- A DMA Controller for RISCV CPUs☆14Updated 9 years ago
- ☆18Updated 2 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆16Updated 4 months ago
- Medusa Repository: Transynther tool and Medusa Attack☆21Updated 4 years ago
- MIRAGE (USENIX Security 2021)☆12Updated last year
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 3 years ago
- The MIT Sanctum processor top-level project☆28Updated 4 years ago
- Code repository for Coppelia tool☆22Updated 4 years ago