GERAULT - David

Toutes les publications (8)
Date/Type Titre/URL/journal Domaines Notes SJR/Core Cit. GScholar
2019
COMM 		Manik Lal Das, Hardik Gajera, David Gerault, Matthieu Giraud, Pascal Lafourcade
Verifiable and Private Oblivious Polynomial Evaluation
13th IFIP International Conference on Information Security Theory and Practice (WISTP) - 2019		 Informatique/Cryptographie et sécurité
2018
THESE 		David Gerault
Security analysis of contactless communication protocols
Informatique/Autre
2017
ART 		Siwei Sun, David Gerault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu
Analysis of AES, SKINNY, and Others with Constraint Programming
IACR Transactions on Symmetric Cryptology - 2017 		Informatique/Cryptographie et sécurité
2017
COMM 		Ioana Boureanu, David Gerault, Pascal Lafourcade, Cristina Onete
Breaking and fixing the HB+DB protocol
ACM Conference on Security and Privacy in Wireless and Mobile Networks - 2017		 Informatique/Cryptographie et sécurité
2017
COMM 		Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gerault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol
Asia Conference on Information, Computer and Communications Security - 2017		 Informatique/Cryptographie et sécurité
2016
COMM 		David Gerault, Pascal Lafourcade
Related-Key Cryptanalysis of Midori
International Conference on Cryptology in India - 2016		 Informatique/Cryptographie et sécurité
2016
COMM 		David Gerault, Marine Minier, Christine Solnon
Constraint Programming Models for Chosen Key Differential Cryptanalysis
22nd International Conference on Principles and Practice of Constraint Programming (CP 2016) - 2016		 Informatique/Cryptographie et sécurité
2015
COMM 		Agnès Brelurut, David Gerault, Pascal Lafourcade
Survey of Distance Bounding Protocols and Threats
Foundations and Practice of Security (FPS) - 2015		 Informatique/Cryptographie et sécurité