SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
☆41Dec 8, 2022Updated 3 years ago
Alternatives and similar repositories for cryptosym
Users that are interested in cryptosym are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆27Jun 3, 2023Updated 3 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆39Feb 22, 2023Updated 3 years ago
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆16Dec 16, 2019Updated 6 years ago
- This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do d…☆18Jul 18, 2019Updated 7 years ago
- SAT-based Bitcoin Mining☆90Jan 20, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Oct 7, 2019Updated 7 years ago
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆26Dec 13, 2016Updated 9 years ago
- 32 BTC Puzzle | BTC BruteForce Contest☆105Jul 31, 2026Updated 2 months ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆80Updated this week
- Differential Address Trace Analysis☆62Mar 27, 2024Updated 2 years ago
- An Internet-Draft for the Balloon Key Derivation Function (BKDF), a memory-hard password hashing and password-based key derivation functi…☆11Jun 29, 2025Updated last year
- Tool chains of EasyBC☆10Jun 18, 2024Updated 2 years ago
- Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"☆10Jul 4, 2022Updated 4 years ago
- A new neural distinguisher considering features derived from multiple ciphertext pairs☆12Nov 30, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆14Aug 9, 2016Updated 10 years ago
- Tensorflow implementation of SoftTriple Loss: Deep Metric Learning Without Triplet Sampling☆10Sep 26, 2019Updated 7 years ago
- Repository code to support paper TCHES2020 paper "Remove Some Noise: On Pre-processing of Side-channel Measurements with Autoencoders"☆14Jun 4, 2022Updated 4 years ago
- An implementation of Howard M. Heys's Linear and Differential Cryptanalysis Tutorial☆13May 26, 2013Updated 13 years ago
- ☆11May 21, 2020Updated 6 years ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks, C99☆25Oct 10, 2019Updated 7 years ago
- HOPE-MLKEM: A Framework for designing High-Order Side-Channel Protected Hardware Implementations of ML-KEM☆18Apr 28, 2026Updated 6 months ago
- CryptoBib Main Repository for Developers☆23Aug 11, 2026Updated 2 months ago
- Reference Implementation of the Strata Bridge☆15Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Side Channel Attack: Differential Power Analysis (DPA) on AES encryption algorithm to deduce secret keys☆12Mar 5, 2018Updated 8 years ago
- 用OC封装系统提供的接口实现RSA加密、解密、签名、验证☆15Mar 2, 2016Updated 10 years ago
- A Dataset for Segmenting and Attacking Obfuscated Power Traces in Side-Channel Analysis☆13Jul 14, 2025Updated last year
- Standard HyperRAM core for ECP5 written in Litex/Migen☆14Dec 6, 2019Updated 6 years ago
- Deletes a file that is currently in use by another process.☆13Oct 12, 2021Updated 5 years ago
- ☆13Nov 2, 2023Updated 2 years ago
- ☆14Mar 3, 2021Updated 5 years ago
- Free online cabinet planner and woodworking cut-list optimizer with CNC exports and offline support☆29Updated this week
- draft-muffett-end-to-end-secure-messaging☆13Nov 8, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Entry to model counting competition 2021.☆26Jun 25, 2024Updated 2 years ago
- Generate BTC address pair that share the same prefix☆85Jan 30, 2020Updated 6 years ago
- 本科毕业设计：基于DES加密的即时通信聊天系统☆15Sep 19, 2018Updated 8 years ago
- demo code for our TWC paper, Hybrid Spherical- and Planar-Wave Channel Modeling and Estimation for Terahertz Integrated UM-MIMO and IRS S…☆16Apr 25, 2024Updated 2 years ago
- weggli ruleset scanner for source code and binaries☆45Nov 16, 2025Updated 11 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
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago