Optimizing the AES S-box using SAT

by Carsten Fuhs, Peter Schneider-kamp
Venue:In Proc. International Workshop on Implementation of Logics (IWIL