SILVER - Statistical Independence and Leakage Verification
☆18Jun 6, 2025Updated last year
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…☆43May 13, 2026Updated 2 months ago
- High-order countermeasures for AES and DES☆24Aug 1, 2024Updated last year
- Hardware designs for fault detection☆23Apr 13, 2020Updated 6 years ago
- Side-Channel Analysis Library☆117Apr 10, 2026Updated 3 months ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆19Nov 2, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- LIGHTER-R is a tool to optimally implement a given 4 × 4 SBox using logic gates from a reversible logic library☆14Oct 6, 2025Updated 9 months ago
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆15Jan 6, 2026Updated 6 months ago
- ☆13Feb 1, 2025Updated last year
- ☆13Jul 5, 2026Updated 2 weeks 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
- Interesting papers☆11Jun 22, 2024Updated 2 years ago
- Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.☆13Jan 6, 2023Updated 3 years ago
- Reference implementation for the COherent Sampling ring Oscillator based True Random Number Generator.☆14Nov 26, 2024Updated last year
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆30Jul 13, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Masked Ascon Software Implementations☆13May 3, 2022Updated 4 years ago
- ☆15Aug 29, 2025Updated 10 months ago
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated 2 years ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆17Feb 19, 2025Updated last year
- Raccoon Signature Scheme -- Reference Code☆14Jul 12, 2023Updated 3 years ago
- Large-scale 2D mesh system with dedicated GeMM, on-chip RDMA and Rendez-vous accelerators.☆23Updated this week
- FPGA design and test files for ChipWhisperer-Husky.☆21Updated this week
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Li…☆26Updated this week
- MLIR-based Compiler for CGRA SoC☆17Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Featherweight RISC-V implementation☆53Jan 17, 2022Updated 4 years ago
- LLVM assembly syntax highlighting and snippets☆16Jan 24, 2026Updated 6 months ago
- MIT 6.828 操作系统课程的中文翻译☆18Dec 9, 2022Updated 3 years ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Mar 28, 2025Updated last year
- ☆11Mar 19, 2023Updated 3 years ago
- Learn, share and collaborate on ASIC design using open tools and technologies☆12Dec 27, 2020Updated 5 years ago
- Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.☆17Jun 10, 2026Updated last month
- ☆16Sep 7, 2020Updated 5 years ago
- Verification Template Engine is a Jinja2-based template engine targeted at verification engineers☆14Jan 4, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Examples of unions, interfaces, and assertions in SystemVerilog☆13Aug 31, 2013Updated 12 years ago
- ☆19Aug 27, 2022Updated 3 years ago
- ☆13Sep 6, 2023Updated 2 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
- FireSim-NVDLA: NVIDIA Deep Learning Accelerator (NVDLA) Integrated with RISC-V Rocket Chip SoC Running on the Amazon FPGA Cloud☆36Sep 30, 2019Updated 6 years ago
- A code of conduct for the Taiga Community☆21Mar 29, 2023Updated 3 years ago
- KEVLAR memory defenses.☆18Mar 19, 2025Updated last year