Gérault, David
117  Ergebnisse:
Personensuche X
?
1

CLAASP: A Cryptographic Library for the Automated Analysis ..:

, In: Selected Areas in Cryptography – SAC 2023; Lecture Notes in Computer Science,
Bellini, Emanuele ; Gerault, David ; Grados, Juan... - p. 387-408 , 2024
 
?
2

Deep Learning-Based Rotational-XOR Distinguishers for AND-R..:

, In: Selected Areas in Cryptography – SAC 2023; Lecture Notes in Computer Science,
 
?
4

NNBits: Bit Profiling with a Deep Learning Ensemble Based D..:

, In: Topics in Cryptology – CT-RSA 2023; Lecture Notes in Computer Science,
Hambitzer, Anna ; Gerault, David ; Huang, Yun Ju.. - p. 493-523 , 2023
 
?
6

Fully Automated Differential-Linear Attacks Against ARX Cip..:

, In: Topics in Cryptology – CT-RSA 2023; Lecture Notes in Computer Science,
Bellini, Emanuele ; Gerault, David ; Grados, Juan.. - p. 252-276 , 2023
 
?
7

Differential Cryptanalysis with SAT, SMT, MILP, and CP: A D..:

, In: Cryptology and Network Security; Lecture Notes in Computer Science,
 
?
8

And Rijndael?: Automatic Related-Key Differential Analysis ..:

, In: Progress in Cryptology - AFRICACRYPT 2022; Lecture Notes in Computer Science,
 
?
9

Monte Carlo Tree Search for Automatic Differential Characte..:

, In: Lecture Notes in Computer Science; Progress in Cryptology – INDOCRYPT 2022,
 
?
10

From Relay Attacks to Distance-Bounding Protocols:

, In: Security of Ubiquitous Computing Systems,
Avoine, Gildas ; Boureanu, Ioana ; Gérault, David... - p. 113-130 , 2021
 
?
11

A Deeper Look at Machine Learning-Based Cryptanalysis:

, In: Lecture Notes in Computer Science; Advances in Cryptology – EUROCRYPT 2021,
 
?
13

Short Paper: Terrorist Fraud in Distance Bounding: Getting ..:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,
Gerault, David - p. 351-359 , 2021
 
?
14

Mechanised Models and Proofs for Distance-Bounding:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
 
1-15