Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

14 résultats
Page :
triés par
Image document

And Rijndael? Automatic Related-key Differential Analysis of Rijndael

 Loïc Rouquette , David Gerault , Marine Minier , Christine Solnon
AfricaCrypt 2022 - 13th International Conference on Cryptology in Africa, Jul 2022, Fes, Morocco. pp.150-175, ⟨10.1007/978-3-031-17433-9_7⟩
Communication dans un congrès hal-03671013v1
Image document

Revisiting AES Related-Key Differential Attacks with Constraint Programming

 David Gérault , Pascal Lafourcade , Marine Minier , Christine Solnon
Information Processing Letters, 2018, 139, pp.24-29. ⟨10.1016/j.ipl.2018.07.001⟩
Article dans une revue hal-01827727v1
Image document

A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol

 Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete , et al.
9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩
Communication dans un congrès hal-01510800v1
Image document

Towards Secure TMIS Protocols

 David Gérault , Pascal Lafourcade
International Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Communication dans un congrès hal-02412793v1
Image document

Verifiable and Private Oblivious Polynomial Evaluation

 Manik Lal Das , Hardik Gajera , David Gerault , Matthieu Giraud , Pascal Lafourcade
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.49-65, ⟨10.1007/978-3-030-41702-4_4⟩
Communication dans un congrès hal-02412789v1
Image document

Survey of Distance Bounding Protocols and Threats

 Agnès Brelurut , David Gerault , Pascal Lafourcade
Foundations and Practice of Security (FPS), Oct 2015, Clermont Ferrand, France. pp.29 - 49, ⟨10.1007/978-3-319-30303-1_3⟩
Communication dans un congrès hal-01588557v1
Image document

Related-Key Cryptanalysis of Midori

 David Gerault , Pascal Lafourcade
International Conference on Cryptology in India, Dec 2016, Kolkata, India
Communication dans un congrès hal-01588566v1
Image document

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

 Gildas Avoine , Xavier Bultel , Sébastien Gambs , David Gerault , Pascal Lafourcade , et al.
Asia Conference on Information, Computer and Communications Security, Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩
Communication dans un congrès hal-01588560v1
Image document

SPADE : un protocole délimiteur de distance anonyme et résistant à la fraude terroriste

 Xavier Bultel , Sébastien Gambs , David Gérault , Pascal Lafourcade , Cristina Onete , et al.
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Communication dans un congrès hal-01524410v1
Image document

Computing AES related-key differential characteristics with constraint programming

 David Gérault , Pascal Lafourcade , Marine Minier , Christine Solnon
Artificial Intelligence, 2020, 278, pp.103183 (24). ⟨10.1016/j.artint.2019.103183⟩
Article dans une revue hal-02327893v1
Image document

Analysis of AES, SKINNY, and Others with Constraint Programming

 Siwei Sun , David Gerault , Pascal Lafourcade , Qianqian Yang , Yosuke Todo , et al.
IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306
Article dans une revue hal-01615487v1
Image document

Verifiable Private Polynomial Evaluation

 Xavier Bultel , Manik Lal Das , Hardik Gajera , David Gérault , Matthieu Giraud , et al.
11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Communication dans un congrès hal-01689825v1
Image document

Using Constraint Programming to solve a Cryptanalytic Problem

 David Gerault , Marine Minier , Christine Solnon
IJCAI 2017 - International Joint Conference on Artificial Intelligence (Sister Conference Best Paper Track), Aug 2017, Melbourne, Australia. pp.4844-4848
Communication dans un congrès hal-01528272v1
Image document

Constraint Programming Models for Chosen Key Differential Cryptanalysis

 David Gerault , Marine Minier , Christine Solnon
22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Sep 2016, Toulouse, France. pp.584-601
Communication dans un congrès hal-01331222v1
Page :