bosphorus
bosphorus copied to clipboard
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
There are no end-to-end tests for ANF parsing, CNF writing, etc. So there may be some bugs in some of these parsers and CNF/ANF writers, and we may introduce new...
Likely this will never be fixed, but I am putting this here anyway.
Hi Mate, Some of the promised thoughts on Bosphorus. Along the way I even implemented a PoC for the parser. Hopefully some of it will find its way back into...
Paper [here](https://www.researchgate.net/publication/240412537_Algebraic_Attacks_using_SAT-Solvers). "Algebraic Attacks using SAT-Solvers". Authors: Philipp Jovanovic and Martin Kreuzer. Implementation [here](https://github.com/Daeinar/anf2cnf-sage/blob/master/anf2cnf_sage.py). These strategies look like they could be interesting to improve the translation. Some checking is needed...