crocs-muni / scrutiny
An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworks to build and later verify profiles against reference and produce detailed HTML reports. For now, SCRUTINY is capable of analyzing JavaCard, TPM, SED, and cryptolibs.
☆11Updated 3 months ago
Alternatives and similar repositories for scrutiny:
Users that are interested in scrutiny are comparing it to the libraries listed below
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆16Updated 9 months ago
- ☆12Updated 3 years ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆58Updated this week
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- A repository of tools for verifying constant-timeness☆18Updated last month
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated last week
- Side-channel traces visualizer☆14Updated 3 months ago
- Masked Ascon Software Implementations☆11Updated 2 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆11Updated last year
- A free and open source tool for Deep Learning Side Channel Analysis☆16Updated 5 years ago
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 5 months ago
- Add support for reading and writing of trace set files (.trs) to Python☆23Updated 2 weeks ago
- A bitsliced implementation of ECB and CTR AES☆49Updated 8 months ago
- Crypto library☆57Updated 3 weeks ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆35Updated 2 years ago
- ☆14Updated 4 years ago
- ☆13Updated 3 years ago
- SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator☆27Updated 2 weeks ago
- Differential Address Trace Analysis☆55Updated last year
- Teaching materials related to the Tamarin Prover☆70Updated 7 months ago
- DFA scripts using Jlsca☆10Updated 5 years ago
- High-order countermeasures for AES and DES☆25Updated 8 months ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆29Updated last month
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆31Updated 7 months ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- BAT KEM/Signature Reference Implementation☆21Updated 3 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆80Updated 2 years ago
- Lean cryptographic library usable for bare-metal environments☆41Updated this week