Automatic verification of differential characteristics: application to reduced Gimli
type: Item
instance of: scholarly article
title: Automatic verification of differential characteristics: application to reduced Gimli
zbMATH Open document ID: 1499.94045
DOI: 10.1007/978-3-030-56877-1_8
author: Fukang Liu
author: Takanori Isobe
author: Willi Meier
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 7627822
zbMATH Keywords: Gimli
zbMATH Keywords: hash function
zbMATH Keywords: AE
zbMATH Keywords: MILP
zbMATH Keywords: collision
zbMATH Keywords: state-recovery
describes a project that uses: ARXtools
describes a project that uses: Keccak
describes a project that uses: SIMON
MaRDI profile type: Publication
full work available at URL: 978-3-030-56877-1 8
OpenAlex ID: W3030300659
cites work: Improved Cryptanalysis of Skein
cites work: Duplexing the Sponge: Single-Pass Authenticated Encryption and Other Applications
cites work: Keccak
cites work: Q4279560
cites work: Boomerang Attacks on BLAKE-32
cites work: Bounds in Shallows and in Miseries
cites work: Finding SHA-1 Characteristics: General Results and Applications
cites work: Cryptanalysis of Ascon
cites work: Observations on the SIMON Block Cipher Family
cites work: Analysis of Differential Attacks in ARX Constructions
cites work: Construction of Differential Characteristics in ARX Designs Application to Skein
cites work: Finding SHA-2 Characteristics: Searching through a Minefield of Contradictions
cites work: Applications of SAT Solvers to Cryptanalysis of Hash Functions
cites work: The first collision for full SHA-1
cites work: Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers
cites work: Finding Collisions in the Full SHA-1
cites work: How to Break MD5 and Other Hash Functions
cites work: Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers
Recommended article: On the verification of model reduction methods based on the proper generalized decomposition
Recommended article: Q4855524
Recommended article: Automatic verification of reduction techniques in higher order logic
Recommended article: Automated verification of refinement laws
Recommended article: Q4851616
Recommended article: An algorithm for automatically selecting a suitable verification method for linear systems
description: scientific article; zbMATH DE number 7627822