Optimizing the AES S-box using SAT (0)

by C Fuhs, P Schneider-Kamp
Venue:In Proc. International Workshop on Implementation of Logics (IWIL