JBever

Pinned Repositories

CRHS
A tool for evaluating strength against algebraic cryptanalysis
Language:Rust00
CryptaPath
A tool for evaluating strength against algebraic cryptanalysis
Language:Rust10
nuthatch
Nuthatch/J – A software transformation library based on tree walking
Language:Java00
SOCs
Fork to contribute of Simula-UiB/CryptaPath
Language:Rust10
CRHS
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Language:Rust2 3 01

JBever's Repositories

JBever/CryptaPath
A tool for evaluating strength against algebraic cryptanalysis
Language:Rust10
JBever/SOCs
Fork to contribute of Simula-UiB/CryptaPath
Language:Rust10
JBever/CRHS
A tool for evaluating strength against algebraic cryptanalysis
Language:Rust00
JBever/nuthatch
Nuthatch/J – A software transformation library based on tree walking
Language:Java00