nmosier / clouLinks
☆10Updated last year
Alternatives and similar repositories for clou
Users that are interested in clou are comparing it to the libraries listed below
Sorting:
- Iodine: Verifying Constant-Time Execution of Hardware☆13Updated 4 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- ☆19Updated 10 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- COATCheck☆13Updated 6 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- QARMA block cipher in C☆30Updated 2 years ago
- QEMU with support for CHERI☆58Updated last month
- Code repository for Coppelia tool☆23Updated 4 years ago
- Sail code model of the CHERIoT ISA☆38Updated 2 weeks ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆18Updated last month
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- RISC-V BSV Specification☆20Updated 5 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆80Updated last week
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- UB-aware interpreter for LLVM debugging☆29Updated this week
- A programming language to write bitsliced ciphers☆56Updated 9 months ago
- ☆30Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- Source code of the paper "Lord of the Ring(s): Side Channel Attacks on the CPU On-Chip Ring Interconnect Are Practical"☆141Updated 3 years ago
- Testing processors with Random Instruction Generation☆38Updated last week
- ☆11Updated 4 years ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆26Updated last year
- XML representation of the x86 instruction set☆28Updated 3 weeks ago
- Project Repo for the Simulator Independent Coverage Research☆19Updated 2 years ago
- RTL blocks compatible with the Rocket Chip Generator☆16Updated 2 months ago
- Notary: A Device for Secure Transaction Approval 📟☆28Updated 4 months ago
- ☆13Updated 6 years ago