International Association for Cryptologic Research

International Association
for Cryptologic Research

Transactions on Symmetric Cryptology, Volume 2024

On Impossible Boomerang Attacks


README

(Impossible) Boomerang distinguishers

This repository contains the source code associated to the articles On Boomerang Attacks on Quadratic Feistel Ciphers published in ToSC Volume 2023, Issue 3 and On Impossible Boomerang Attacks published in ToSC Volume 2024, Issue 2.

SMT models in ./SMT:
MiniZinc models in ./minizinc:

Details on the models can be found in the articles.

Code for experimental tests in ./verification: