Automatic Verification of Differential Characteristics: Application to Reduced Gimli
Fukang Liu, Takanori Isobe, Willi Meier
Topics & Concepts
Permutation (music)Hash functionComputer scienceDifferential (mechanical device)Block cipherAlgorithmEncryptionTheoretical computer scienceRandom permutationKey (lock)CryptographyBlock (permutation group theory)MathematicsCombinatoricsEngineeringOperating systemPhysicsAerospace engineeringComputer securityAcousticsCryptographic Implementations and SecurityCoding theory and cryptographyChaos-based Image/Signal Encryption