Introduction to TAGADA @SKCAM’25 Workshop
ÉPITA
SKCAM
Cryptanalysis Automation
TAGADA
This talk introduces TAGADA, an automated library to evaluate the security of symmetric block ciphers.
This talk introduces TAGADA, an automated library to evaluate the security of symmetric block ciphers.