nmosier / clou
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for clou
- Iodine: Verifying Constant-Time Execution of Hardware☆11Updated 3 years ago
- ☆18Updated 9 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- Sail code model of the CHERIoT ISA☆34Updated this week
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆36Updated 3 years ago
- XML representation of the x86 instruction set☆27Updated 2 years ago
- CHERI ISA Specification☆23Updated 4 months ago
- RISC-V BSV Specification☆17Updated 4 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- COATCheck☆12Updated 6 years ago
- A low-level intermediate representation for hardware description languages☆25Updated 4 years ago
- Code repository for Coppelia tool☆20Updated 4 years ago
- Notary: A Device for Secure Transaction Approval 📟☆28Updated last year
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆71Updated last month
- [HISTORICAL] FIPS and higher-level algorithm tests for RISC-V Crypto Extension☆26Updated 3 months ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆111Updated 2 months ago
- CHERI C/C++ Programming Guide☆30Updated last year
- CHERI-RISC-V model written in Sail☆55Updated last week
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated last year
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 4 years ago
- MIRAGE (USENIX Security 2021)☆11Updated last year
- Testing processors with Random Instruction Generation☆29Updated last month
- A minimalistic and high-performance SAT solver☆26Updated last year
- GCC plugin for C language that tracks references to allocated objects☆23Updated last week
- Verification of BPF JIT compilers☆54Updated last year
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆20Updated 2 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆20Updated 4 years ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆35Updated last year