Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA.

Aleksandar Kircanski

Browse the full ACNS paper archive.