Login / Signup
A CP-based Automatic Tool for Instantiating Truncated Differential Characteristics - Extended Version.
François Delobel
Patrick Derbez
Arthur Gontier
Loïc Rouquette
Christine Solnon
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
software tools
fully automatic
databases
feature selection
website
decision trees
semi automatic
classical logic