ascon / ascon-hardware-scaLinks
NIST LWC Hardware Design of Ascon with Protection against Power Side-Channel Attacks
☆17Updated 2 years ago
Alternatives and similar repositories for ascon-hardware-sca
Users that are interested in ascon-hardware-sca are comparing it to the libraries listed below
Sorting:
- CoPHEE is a Co-processor for Partially Homomorphic Encrypted Encryption.☆31Updated last year
- Ultra High Performance AXI4-based Direct Memory Access (DMA) Controller. Work in Progress.☆13Updated 8 months ago
- A RISC-V RV32 model ready for SMT program synthesis.☆11Updated 4 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
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 9 months ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆40Updated 3 weeks ago
- Post-Quantum Cryptography IP Core (Crystals-Dilithium)☆32Updated this week
- Repository to store all design and testbench files for Senior Design☆18Updated 5 years ago
- All Digital Phase-Locked Loop (ADPLL)☆13Updated last year
- Running Linux on IOb-SoC-OpenCryptoHW☆14Updated 11 months ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆13Updated 4 years ago
- LibreSilicon's Standard Cell Library Generator☆19Updated last year
- True Random Number Generator core implemented in Verilog.☆75Updated 4 years ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆25Updated last year
- Implementation of a binary search tree algorithm in a FPGA/ASIC IP☆19Updated 3 years ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Updated 3 months ago
- AXI DMA Check: A utility to measure DMA speeds in simulation☆15Updated 5 months ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆17Updated 2 years ago
- sram/rram/mram.. compiler☆35Updated last year
- Source files to reproduce the results shown for A-QED at DAC 2020☆8Updated 4 years ago
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆22Updated last month
- Modular SRAM-based indirectly-indexed 2D hierarchical-search Ternary Content Addressable Memory (II-2D-TCAM)☆24Updated 8 months ago
- A textbook on system on chip design using Arm Cortex-A☆32Updated last month
- Verilog implementation of 1024 bit Hybrid Montgomery Multiplication/Exponentiation☆10Updated 5 years ago
- Wraps the NVDLA project for Chipyard integration☆21Updated 3 months ago
- ArmleoCPU - RISC-V CPU RV64GC, SMP, Linux, Doom. Work in progress to execute first instruction with new feature set☆6Updated 2 years ago
- C/Assembly macros for talking with Rocket Custom Coprocessors (RoCCs)☆54Updated 5 years ago
- Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operat…☆19Updated 8 months ago
- 4096bit RSA project, with verilog code, python test code, etc☆44Updated 5 years ago
- Side-channel analysis setup for OpenTitan☆35Updated last month