@dblp

Optimizing S-Box Implementations for Several Criteria Using SAT Solvers.

. FSE, volume 9783 of Lecture Notes in Computer Science, page 140-160. Springer, (2016)

Links and resources

Tags