PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software FIESTA - Fault Injection Evaluation with Statistical Analysis
☆46May 13, 2026Updated 5 months ago
Alternatives and similar repositories for PROLEAD
Users that are interested in PROLEAD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- fullVerif tool for verification of masked hardware implementations☆11Aug 20, 2024Updated 2 years ago
- SILVER - Statistical Independence and Leakage Verification☆19Jun 6, 2025Updated last year
- ☆19Jul 17, 2025Updated last year
- Raccoon Signature Scheme -- Reference Code☆15Jul 12, 2023Updated 3 years ago
- ☆24Feb 13, 2020Updated 6 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.
- Side-Channel Analysis Library☆121Apr 10, 2026Updated 6 months ago
- DOM Protected hardware Implementations of Ascon variants☆11Jun 13, 2017Updated 9 years ago
- Masked implementations of PQ schemes for the Cortex-M4.☆21Mar 11, 2026Updated 7 months ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆19Dec 24, 2020Updated 5 years ago
- ☆20May 26, 2020Updated 6 years ago
- Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128☆13Oct 20, 2021Updated 5 years ago
- Present Crypto Engine in Verilog☆13Feb 27, 2016Updated 10 years ago
- ☆21Aug 3, 2018Updated 8 years ago
- High-order countermeasures for AES and DES☆24Aug 1, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Masked Hardware AES with HPC☆21Oct 22, 2026Updated last week
- Implementation of ChaCha20 for Cyclone V FPGA (DE10-nano) easily connectable to HPS (ARM processor)☆12Jul 29, 2020Updated 6 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆26Sep 26, 2024Updated 2 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- ☆35Apr 25, 2023Updated 3 years ago
- Collection of metadata of different Side Channel Attack datasets☆29Jul 4, 2023Updated 3 years ago
- simple PE parser☆12Mar 14, 2017Updated 9 years ago
- Hardware implementation of the poly1305 message authentication function.☆12Apr 3, 2025Updated last year
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Feb 18, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SCARR is a Side-Channel Analysis (SCA) framework☆83Updated this week
- ☆19Aug 27, 2022Updated 4 years ago
- ☆63May 13, 2024Updated 2 years ago
- NIST LWC Hardware Reference Implementation of Ascon v1.2☆36Aug 29, 2023Updated 3 years ago
- Detailed explanation and c++ implementation of DC3 algorithm.☆14Oct 22, 2022Updated 4 years ago
- MIRAGE (USENIX Security 2021)☆15Nov 8, 2023Updated 2 years ago
- Implemented filters for sensor fusion of accelerometer & gyroscope☆11Sep 4, 2020Updated 6 years ago
- CPU + xv6 + compiler☆18Feb 7, 2018Updated 8 years ago
- Development Package for the Hardware API for Lightweight Cryptography☆18Mar 27, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Dataset for Segmenting and Attacking Obfuscated Power Traces in Side-Channel Analysis☆13Jul 14, 2025Updated last year
- ☆14Feb 8, 2022Updated 4 years ago
- A practical handbook on reverse engineering. Covers embedded firmware (ARM Cortex-M, Xtensa/ESP32, RISC-V, 8051, MIPS), Linux userland, k…☆24May 18, 2026Updated 5 months ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆15Nov 30, 2020Updated 5 years ago
- This repository contains some tools to monitor the UNC_CBO_CACHE_LOOKUP event of the C-Boxes.☆12Oct 11, 2017Updated 9 years ago
- 技術系同人サークル「らぼちっく；げーと」で利用しているLaTeXテンプレートです。☆14Apr 24, 2025Updated last year
- A GPT-GNN based verilog netlist partitioner for 3D IC design☆12Jul 9, 2025Updated last year