Ko Stoffelen. Optimizing S-Box Implementations for Several Criteria Using SAT Solvers. In Thomas Peyrin, editor, Fast Software Encryption - 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers. Volume 9783 of Lecture Notes in Computer Science, pages 140-160, Springer, 2016. [doi]
Abstract is missing.