SILVER - Statistical Independence and Leakage Verification
☆15Jun 6, 2025Updated 9 months ago
Alternatives and similar repositories for SILVER
Users that are interested in SILVER are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software FIESTA - Fault Injection Evaluation with Statistic…☆42Feb 11, 2026Updated last month
- High-order countermeasures for AES and DES☆24Aug 1, 2024Updated last year
- FELICS Framework☆11Dec 5, 2019Updated 6 years ago
- LIGHTER-R is a tool to optimally implement a given 4 × 4 SBox using logic gates from a reversible logic library☆13Oct 6, 2025Updated 5 months ago
- ☆19Jul 17, 2025Updated 8 months ago
- Side-Channel Analysis Library☆106Feb 10, 2026Updated last month
- ☆14Mar 13, 2026Updated last week
- Interesting papers☆11Jun 22, 2024Updated last year
- Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.☆13Jan 6, 2023Updated 3 years ago
- AES RoCC Accelerator☆10May 20, 2021Updated 4 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Mar 14, 2021Updated 5 years ago
- ☆16Sep 15, 2023Updated 2 years ago
- Reference implementation for the COherent Sampling ring Oscillator based True Random Number Generator.☆13Nov 26, 2024Updated last year
- LLVM assembly syntax highlighting and snippets☆14Jan 24, 2026Updated last month
- su su su supernova☆25Jan 9, 2025Updated last year
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated last year
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 4 years ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆17Feb 19, 2025Updated last year
- Game in Haskell☆14Mar 14, 2026Updated last week
- Masked Ascon Software Implementations☆13May 3, 2022Updated 3 years ago
- Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128☆12Oct 20, 2021Updated 4 years ago
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Li…☆26Mar 8, 2026Updated 2 weeks ago
- ☆36Aug 27, 2025Updated 6 months ago
- Approximate Model Counter☆86Mar 14, 2026Updated last week
- VU Einführung in Visual Computing Fragenkatalog Trainer☆11Aug 3, 2022Updated 3 years ago
- DRA+RISC-V Exploration Framework☆19Jan 8, 2024Updated 2 years ago
- Provides a packaged collection of open source EDA tools☆12Apr 14, 2019Updated 6 years ago
- ☆18Jul 3, 2024Updated last year
- MIT 6.828 操作系统课程的中文翻译☆18Dec 9, 2022Updated 3 years ago
- Featherweight RISC-V implementation☆53Jan 17, 2022Updated 4 years ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Mar 28, 2025Updated 11 months ago
- Hardware designs for fault detection☆21Apr 13, 2020Updated 5 years ago
- ☆11Mar 19, 2023Updated 3 years ago
- This is the Verilog 2005 parser used by VerilogCreator☆15May 19, 2019Updated 6 years ago
- An implementation of the second-order Differential Power Analysis (DPA) attack, suited for evaluations of AES-128 algorithm on microcontr…☆19Aug 6, 2013Updated 12 years ago
- Learn, share and collaborate on ASIC design using open tools and technologies☆14Dec 27, 2020Updated 5 years ago
- ☆19Aug 27, 2022Updated 3 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆17Nov 2, 2023Updated 2 years ago