Automatic verification of differential characteristics: application to reduced Gimli (Q2102064): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Improved Cryptanalysis of Skein / rank
 
Normal rank
Property / cites work
 
Property / cites work: Duplexing the Sponge: Single-Pass Authenticated Encryption and Other Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Keccak / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4279560 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boomerang Attacks on BLAKE-32 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounds in Shallows and in Miseries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finding SHA-1 Characteristics: General Results and Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cryptanalysis of Ascon / rank
 
Normal rank
Property / cites work
 
Property / cites work: Observations on the SIMON Block Cipher Family / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analysis of Differential Attacks in ARX Constructions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Construction of Differential Characteristics in ARX Designs Application to Skein / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic verification of differential characteristics: application to reduced Gimli / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finding SHA-2 Characteristics: Searching through a Minefield of Contradictions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applications of SAT Solvers to Cryptanalysis of Hash Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The first collision for full SHA-1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finding Collisions in the Full SHA-1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: How to Break MD5 and Other Hash Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers / rank
 
Normal rank

Latest revision as of 00:14, 31 July 2024

scientific article
Language Label Description Also known as
English
Automatic verification of differential characteristics: application to reduced Gimli
scientific article

    Statements

    Automatic verification of differential characteristics: application to reduced Gimli (English)
    0 references
    0 references
    0 references
    0 references
    7 December 2022
    0 references
    Gimli
    0 references
    hash function
    0 references
    AE
    0 references
    MILP
    0 references
    collision
    0 references
    state-recovery
    0 references
    0 references
    0 references
    0 references

    Identifiers