"Optimizing S-box Implementations for Several Criteria using SAT Solvers."

Ko Stoffelen (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics