Skip to main navigation
Skip to search
Skip to main content
University of Haifa Home
Update your profile
Link opens in a new tab
Search content at University of Haifa
Home
Researchers
Research units
Research output
AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions
Marcel Nageler
,
Shibam Ghosh
, Marlene Jüttler
, Maria Eichlseder
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Differential Characteristic
100%
Differential Learning
100%
Cipher
50%
Tool Support
50%
Block Cipher
25%
Differential Cryptanalysis
25%
Cryptanalysis
25%
Rectangle
25%
Feature Combination
25%
Key Schedule
25%
Midori
25%
Attack Complexity
25%
Automatic Tool
25%
SAT Solver
25%
Expected Probability
25%
SPECK
25%
Clause Learning
25%
SPEEDY
25%
ARX Ciphers
25%
Approximate Model Counting
25%
Model Clauses
25%
Modeling Approaches
25%
Hypothesis of Stochastic Equivalence
25%
Computer Science
Block Cipher
100%
Differential Cryptanalysis
100%
Cryptanalysis
100%
Key Schedule
100%
Expected Probability
100%
Probability
100%
Mathematics
Probability
100%
Differential Cryptanalysis
50%
Approximates
50%
Stochastics
50%
Cryptanalysis
50%
Modeling Approach
50%
Wide Range
50%
Key Schedule
50%
Block Cipher
50%
Social Sciences
Probability Theory
100%
Stochastics
50%
Custom
50%
Physics
Probability Theory
100%