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 weeks ago
Alternatives and similar repositories for scrutiny:
Users that are interested in scrutiny are comparing it to the libraries listed below
- Side-channel traces visualizer☆13Updated last month
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆14Updated 6 months ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆65Updated last month
- ☆12Updated 3 years ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆56Updated last month
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 4 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆10Updated last year
- Add support for reading and writing of trace set files (.trs) to Python☆22Updated 7 months ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆34Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆79Updated 2 years ago
- ☆12Updated 4 years 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
- Circuits and hardware security modules formally verified with Knox 🔐☆24Updated 3 weeks ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆26Updated last month
- Javacard implementation of Curve25519 (prototype, work-in-progress)☆29Updated 3 years ago
- A repository of tools for verifying constant-timeness☆13Updated last month
- High-order countermeasures for AES and DES☆25Updated 5 months ago
- DFA scripts using Jlsca☆10Updated 5 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆24Updated last week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 6 months ago
- Masked Ascon Software Implementations☆11Updated 2 years ago
- Crypto library☆55Updated 3 months ago
- Tool for generating Elliptic curve domain parameters☆112Updated last month
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆38Updated this week
- Python library for Alphanov's PDM laser sources control☆11Updated 5 years ago
- A bitsliced implementation of ECB and CTR AES☆47Updated 5 months ago
- masked, bit-sliced AES-128 demo code☆13Updated last week
- Differential Address Trace Analysis☆54Updated 9 months ago
- ☆14Updated 4 years ago