nmosier / clou
☆10Updated last year
Alternatives and similar repositories for clou:
Users that are interested in clou are comparing it to the libraries listed below
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 4 years ago
- COATCheck☆13Updated 6 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆79Updated last month
- RISC-V BSV Specification☆20Updated 5 years ago
- RTL blocks compatible with the Rocket Chip Generator☆16Updated last month
- A Flexible Cache Architectural Simulator☆14Updated 4 months ago
- ☆19Updated 10 years ago
- Code repository for Coppelia tool☆23Updated 4 years ago
- ☆12Updated 4 years ago
- Project Repo for the Simulator Independent Coverage Research☆19Updated 2 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated 2 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 3 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- This repo contains a RISC-V ISA extension (proposal) to allow recording of control transfer history to on-chip registers, to support usag…☆21Updated 2 months ago
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆126Updated 8 months ago
- CHERI-RISC-V model written in Sail☆59Updated last month
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆21Updated 2 years ago
- Testing processors with Random Instruction Generation☆37Updated last month
- Assemble 128-bit RISC-V☆45Updated last year
- Wrapper for ETH Ariane Core☆20Updated last month
- Sail code model of the CHERIoT ISA☆37Updated last month
- Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assembly☆15Updated 3 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆15Updated 5 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆13Updated 3 weeks ago
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆18Updated 5 months ago
- XML representation of the x86 instruction set☆28Updated this week