Concepedia

David Gérault

DG

Statistics

Publications

9

Citations

263

H-Index

9

Active since

2016

Affiliations

Université Clermont Auvergne(Current)

Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

Nanyang Technological University

Université Claude Bernard Lyon 1

Université du Québec à Montréal

David Gérault is an author at Université Clermont Auvergne specializing in cryptography, engineering, and data security.

Top concepts

EngineeringCryptographyData SecurityComputer ScienceFormal VerificationFormal MethodsInformation SecurityData PrivacyHardware SecurityComputer Engineering

Publications per year

2016–2023

9

Publications

9

Analysis of AES, SKINNY, and Others with Constraint Programming

Siwei Sun, David Gérault, Pascal Lafourcade et al. · IACR Transactions on Symmetric Cryptology · 2017 · 69 citations · Full text

Mathematical Programming, Cryptographic Primitive, Engineering +16

Revisiting AES related-key differential attacks with constraint programming

David Gérault, Pascal Lafourcade, Marine Minier et al. · Information Processing Letters · 2018 · 41 citations · Full text

Hardware Security, Engineering, Information Security +9

A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol

Gildas Avoine, Xavier Bultel, Sébastien Gambs et al. · 2017 · 32 citations · Full text

Engineering, Information Security, Verification +20

Exploring Differential-Based Distinguishers and Forgeries for ASCON

David Gérault, Thomas Peyrin, Quan Quan Tan · IACR Transactions on Symmetric Cryptology · 2021 · 29 citations · Full text

Differential-based Distinguishers, Cryptographic Primitive, Engineering +21

A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences

Emanuele Bellini, David Gérault, Anna Hambitzer et al. · IACR Transactions on Symmetric Cryptology · 2023 · 23 citations · Full text

Engineering, Machine Learning, Good Input Differences +17

1–5 of 9