ANF to CNF conversion
Algebraic Normal Form, or simply ANF, is the form used to describe cryptographic functions. It looks like this: Where are binary variables, the sign is binary XOR, and the sign is binary AND. Every...
View ArticleTruth table to ANF conversion
It is sometimes important to be able to quickly convert a binary function, described in as a truth table, to its Algebraic Normal Form (or simply, ANF). The truth table basically lists the points where...
View Articleanf2cnf hell in Sage
There is an ANF (Algebraic Normal Form) to CNF (Conjunctive Normal Form) converter by Martin Albrecht in Sage. Essentially, it performs the ANF to CNF conversion that I have described previously in...
View Articleanf2cnf script released
I have finally managed to fix the script that converts ANF problems to CNF format in the Sage math system. The original script was having some problems that I blogged about. The new script has...
View ArticlePresentation at Hackito Ergo Sum
The HES’11 event was great: I had the pleasure of listening to some awesome presentations, and to meet some great people. The most interesting presentation from a non-technical point of view was the...
View Article
