Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Primary LanguageRustMIT LicenseMIT