BISON instantiating the whitened swap-or-not construction

DOI10.1007/978-3-030-17659-4_20OpenAlexW2886071326MaRDI QIDQ2292708FDOQ2292708

Authors: Anne Canteaut, Virginie Lallemand, Gregor Leander, Patrick Neumann, Friedrich Wiemer 

Publication date: 4 February 2020

Full work available at URL: https://hal.inria.fr/hal-02431714/file/bison2019.pdf

Recommendations

• Weak Bisimulation Up to Elaboration
• A note on Coinduction and Weak Bisimilarity for While Programs
• scientific article; zbMATH DE number 7699441
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• From rewrite rules to bisimulation congruences
• scientific article; zbMATH DE number 7440178
• Calculating Invariants as Coreflexive Bisimulations
• Logic-induced bisimulations
• The true bisimulations for 'since' and 'until'
• Non-deterministic algebraization of logics by swap structures

zbMATH Keywords

differential cryptanalysisblock cipher designinstantiating provable securitywhitened swap-or-not

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (1)

• Strong and tight security guarantees against integral distinguishers

This page was built for publication: BISON instantiating the whitened swap-or-not construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2292708)