Optimizing the AES S-Box using SAT

Carsten Fuhs, Peter Schneider-Kamp. Optimizing the AES S-Box using SAT. In Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska, editors, The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. Volume 2 of EPiC Series, pages 64-70, EasyChair, 2010. [doi]

Abstract

Abstract is missing.