lowRISC / ot-scaLinks
Side-channel analysis setup for OpenTitan
☆35Updated last month
Alternatives and similar repositories for ot-sca
Users that are interested in ot-sca are comparing it to the libraries listed below
Sorting:
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 9 months ago
- HW Design Collateral for Caliptra RoT IP☆100Updated this week
- ☆63Updated 2 months ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆25Updated last year
- ☆24Updated 9 months ago
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆32Updated this week
- Cross-Domain DPA Attack on SAML11☆16Updated 6 years ago
- IOPMP IP☆19Updated this week
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆45Updated this week
- A port of the RIPE suite to RISC-V.☆29Updated 6 years ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆16Updated 4 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆54Updated last week
- Repository to store all design and testbench files for Senior Design☆18Updated 5 years ago
- Open Source AES☆31Updated last year
- RISC-V IOMMU Demo (Linux & Bao)☆21Updated last year
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against …☆19Updated 5 years ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- ☆23Updated 5 years ago
- C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…☆19Updated 4 months ago
- ☆17Updated 2 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆18Updated 2 weeks ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆49Updated 6 years ago
- Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats☆44Updated 2 years ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆13Updated 3 weeks ago
- FPGA reference design for the the Swerv EH1 Core☆71Updated 5 years ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Updated 3 months ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆65Updated 2 years ago
- LeWiz Communications Ethernet MAC Core2 10G/5G/2.5G/1G☆39Updated 2 years ago
- Modular Exponentiation core written i Verilog. Supports key lengths between 32 and 8192 bits.☆17Updated 4 years ago