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

From MaRDI portal
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