A list of practical projects that anyone can solve in any programming language (See solutions). These projects are divided in multiple categories, and each category has its own folder. To get started, ...
These tools are part of the paper "Optimizing S-box Implementations for Several Criteria using SAT Solvers" by Ko Stoffelen, published at FSE 2016, available here. $ ./getanf.py -h usage: getanf.py ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results