Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives
Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti
Topics & Concepts
Computer scienceRotation formalisms in three dimensionsEnumerationCryptanalysisCryptographyDifferential (mechanical device)Theoretical computer scienceCryptographic primitiveDifferential cryptanalysisAlgorithmParallel computingMathematicsDiscrete mathematicsCryptographic protocolAerospace engineeringEngineeringGeometryCryptographic Implementations and SecurityCoding theory and cryptographygraph theory and CDMA systems