Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
cryptography
cryptanalysis
bdd
binary-decision-diagrams
algebraic
cryptology
binary-decision-diagram
crhs
-
Updated
Jun 28, 2022 - Rust