Optimizing the AES S-Box using SAT.

Carsten Fuhs, Peter Schneider-Kamp

Browse the full LPAR paper archive.