Automatic Generation of Declarative Models For Differential Cryptanalysis.

Luc Libralesso, Franois Delobel, Pascal Lafourcade, Christine Solnon

Browse the full CP paper archive.