David Gérault

Paolo Palmieri

Proceedings of the Selected Areas in Cryptography - SAC 2023, 2023

CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives.

[BibT_eX]

[DOI]

Proceedings of the Selected Areas in Cryptography - SAC 2023, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology - CT-RSA 2023, 2023

Fully Automated Differential-Linear Attacks Against ARX Ciphers.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology - CT-RSA 2023, 2023

Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives.

[BibT_eX]

[DOI]

Emanuele Bellini

Alessandro De Piccoli

Proceedings of the Cryptology and Network Security - 22nd International Conference, 2023

2022

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Monte Carlo Tree Search for Automatic Differential Characteristics Search: Application to SPECK.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2022, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2022

2021

Exploring Differential-Based Distinguishers and Forgeries for ASCON.

[BibT_eX]

[DOI]

Thomas Peyrin

Quan Quan Tan

IACR Cryptol. ePrint Arch., 2021

A Survey of Technologies for Building Trusted Networks.

[BibT_eX]

[DOI]

Christopher J. P. Newton

Donghui Wang

Proceedings of the IEEE Globecom 2021 Workshops, Madrid, Spain, December 7-11, 2021, 2021

Short Paper: Terrorist Fraud in Distance Bounding: Getting Around the Models.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2021

A Deeper Look at Machine Learning-Based Cryptanalysis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

Mechanised Models and Proofs for Distance-Bounding.

[BibT_eX]

[DOI]

Constantin Catalin Dragan

François Dupressoir

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

From Relay Attacks to Distance-Bounding Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security of Ubiquitous Computing Systems, 2021

2020

On the Usage of Deterministic (Related-Key) Truncated Differentials and Multidimensional Linear Approximations for SPN Ciphers.

[BibT_eX]

[DOI]

IACR Trans. Symmetric Cryptol., 2020

Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments.

[BibT_eX]

[DOI]

Constantin Catalin Dragan

François Dupressoir

IACR Cryptol. ePrint Arch., 2020

Computing AES related-key differential characteristics with constraint programming.

[BibT_eX]

[DOI]

Artif. Intell., 2020

NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Cryptography and Machine Learning, 2020

2019

Verifiable and Private Oblivious Polynomial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Information Security Theory and Practice, 2019

Distance bounding under different assumptions: opinion.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, 2019

Here and There at Once, with my Mobile Phone!

[BibT_eX]

[DOI]

James Lewis

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

Towards Secure TMIS Protocols.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security - 12th International Symposium, 2019

2018

Security analysis of contactless communication protocols. (Analyse de sécurité des protocoles de communication sans contact).

[BibT_eX]

[DOI]

PhD thesis, 2018

Revisiting AES related-key differential attacks with constraint programming.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2018

2017

Analysis of AES, SKINNY, and Others with Constraint Programming.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Breaking and fixing the HB+DB protocol.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2017

Verifiable Private Polynomial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Provable Security, 2017

Using Constraint Programming to solve a Cryptanalytic Problem.

[BibT_eX]

[DOI]

Marine Minier

Christine Solnon

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016

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

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2016

Related-Key Cryptanalysis of Midori.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2016, 2016

Constraint Programming Models for Chosen Key Differential Cryptanalysis.

[BibT_eX]

[DOI]

Marine Minier

Christine Solnon

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Survey of Distance Bounding Protocols and Threats.

[BibT_eX]

[DOI]

Agnès Brelurut