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
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- ☆12Updated 3 years ago
- A repository of tools for verifying constant-timeness☆18Updated last month
- Python Elliptic Curve Side-Channel Analysis toolkit.☆58Updated this week
- Side-channel traces visualizer☆14Updated 3 months ago
- Higher-order Masking of AES-128 based on the Rivain and Prouff method, CPRR method and Common Shares with Random Reduction method.☆13Updated 7 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆35Updated 2 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated this week
- Add support for reading and writing of trace set files (.trs) to Python☆23Updated last week
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆11Updated last year
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Updated 2 years ago
- A bitsliced implementation of ECB and CTR AES☆49Updated 8 months ago
- DFA scripts using Jlsca☆10Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- ☆13Updated 3 years ago
- ☆35Updated 8 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- A programming language to write bitsliced ciphers☆56Updated 6 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆16Updated last year
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 5 months ago
- ☆14Updated 4 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆29Updated last month
- Crypto library☆57Updated 3 weeks ago
- High-order countermeasures for AES and DES☆25Updated 8 months ago
- A free and open source tool for Deep Learning Side Channel Analysis☆16Updated 5 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- QARMA block cipher in C☆27Updated 2 years ago
- MLKEM implementation optimized for embedded microcontrollers☆16Updated 7 months ago
- Differential Address Trace Analysis☆55Updated last year