fullVerif tool for verification of masked hardware implementations
☆11Aug 20, 2024Updated 2 years ago
Alternatives and similar repositories for fullverif
Users that are interested in fullverif 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…☆46May 13, 2026Updated 5 months ago
- SILVER - Statistical Independence and Leakage Verification☆19Jun 6, 2025Updated last year
- Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128☆13Oct 20, 2021Updated 5 years ago
- ☆17Aug 29, 2025Updated last year
- ☆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.
- realforce r1 87 定位板图纸☆13Jan 25, 2021Updated 5 years ago
- DOM Protected Hardware Implementation of AES☆28May 20, 2016Updated 10 years ago
- MINE estimation implemented with Tensorflow 2☆11Jul 3, 2019Updated 7 years 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
- pytorch implementation for "Mutual Information Neural Estimation"☆11Dec 13, 2019Updated 6 years ago
- masked, bit-sliced AES-128 demo code☆15Jan 10, 2025Updated last year
- Tight Mutual Information Estimation With Contrastive Fenchel-Legendre Optimization☆11Nov 29, 2022Updated 3 years ago
- Side-Channel Analysis Library☆121Apr 10, 2026Updated 6 months ago
- Mutual Information Neural Estimation (Pytorch)☆13Jun 29, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code for ECML/PKDD paper: "LSMI-Sinkhorn: Semi-supervised Mutual Information Estimation with Optimal Transport"☆17Jun 27, 2021Updated 5 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 11 years ago
- Conditional Mutual Informaation Neural Estimator☆15Oct 23, 2020Updated 6 years ago
- ☆11Mar 22, 2022Updated 4 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆20Mar 14, 2021Updated 5 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
- A light-weight hardware oriented synchronous stream cipher.☆12Mar 19, 2022Updated 4 years ago
- DOM Protected hardware Implementations of Ascon variants☆11Jun 13, 2017Updated 9 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆41Aug 6, 2024Updated 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.
- Masked Hardware AES with HPC☆21Oct 22, 2026Updated last week
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆26Sep 26, 2024Updated 2 years ago
- Implementation of Information Bottleneck with Mutual Information Neural Estimation (MINE)☆21Jun 18, 2021Updated 5 years ago
- Estimation of mutual information (MI) distribution with Gaussian mixture models (GMMs)☆25Apr 1, 2025Updated last year
- C++ 言語による 3D グラフィックスアプリケーション開発のための、 マルチプラットフォーム数学ライブラリです。☆17Jan 22, 2019Updated 7 years ago
- Holmes-Nemenman modified KSG continuous entropy estimator☆17May 23, 2021Updated 5 years ago
- Flexible Open-source workBench fOr Side-channel analysis (FOBOS)☆18Nov 19, 2025Updated 11 months ago
- ☆13Nov 2, 2023Updated 2 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 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.
- Masked Ascon Software Implementations☆15May 3, 2022Updated 4 years ago
- David Canright's tiny AES S-boxes☆30Aug 18, 2014Updated 12 years ago
- Keras implementation (only for tensorflow backend) of MINE: Mutual Information Neural Estimation☆20Aug 16, 2019Updated 7 years ago
- The CYC1000 is the next generation of Arrow’s FPGA IoT/Maker boards based on the latest Intel FPGA family Cyclone 10 LP.☆11Jan 27, 2022Updated 4 years ago
- Badge for Labortage 2021☆12Dec 27, 2023Updated 2 years ago
- High Assurance Cryptography☆17Updated this week
- SHA-256 cipher algorithm implementation☆13Jun 22, 2025Updated last year