David Grault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroCrypt | Deep Neural Cryptography. | David Grault, Anna Hambitzer, Eyal Ronen, Adi Shamir |
| 2025 | AsiaCCS | Protocols and Formal Models for Delegated Authorisation with Server-Side Secrecy. | Jean Snyman, Chris Culnane, Ioana Boureanu, David Grault |
| 2024 | INDOCRYPT | CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher. | Emanuele Bellini, Mattia Formenti, David Grault, Juan Grados, Anna Hambitzer, Yun Ju Huang, Paul Huynh, Mohamed Rachidi, Raghvendra Rohit, Sharwan K. Tiwari |
| 2023 | CANS | Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives. | Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Grault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti |
| 2022 | INDOCRYPT | Monte Carlo Tree Search for Automatic Differential Characteristics Search: Application to SPECK. | Emanuele Bellini, David Grault, Matteo Protopapa, Matteo Rossi |
| 2021 | EuroCrypt | A Deeper Look at Machine Learning-Based Cryptanalysis. | Adrien Benamira, David Grault, Thomas Peyrin, Quan Quan Tan |
| 2021 | FC | Short Paper: Terrorist Fraud in Distance Bounding: Getting Around the Models. | David Grault |
| 2021 | GLOBECOM | A Survey of Technologies for Building Trusted Networks. | Loganathan Parthipan, Liqun Chen, David Grault, Yunpeng Li, Fei Liu, Christopher J. P. Newton, Donghui Wang |
| 2019 | WISTP | Verifiable and Private Oblivious Polynomial Evaluation. | Hardik Gajera, Matthieu Giraud, David Grault, Manik Lal Das, Pascal Lafourcade |
| 2017 | CCS | A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol. | Gildas Avoine, Xavier Bultel, Sbastien Gambs, David Grault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert |
| 2017 | IJCAI | Using Constraint Programming to solve a Cryptanalytic Problem. | David Grault, Marine Minier, Christine Solnon |
| 2017 | ProvSec | Verifiable Private Polynomial Evaluation. | Xavier Bultel, Manik Lal Das, Hardik Gajera, David Grault, Matthieu Giraud, Pascal Lafourcade |
| 2016 | CP | Constraint Programming Models for Chosen Key Differential Cryptanalysis. | David Grault, Marine Minier, Christine Solnon |
| 2016 | INDOCRYPT | Related-Key Cryptanalysis of Midori. | David Grault, Pascal Lafourcade |