Paul Huynh

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Modulo Theories

Automatic Analysis

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Computers

Publications

Emanuele Bellini, Mattia Formenti, David Gérault, Juan Grados, Anna Hambitzer, Yun Ju Huang, Paul Huynh, Mohamed Rachidi, Raghvendra Rohit, Sharwan K. Tiwari
CLAASPing ARADI: Automated Analysis of the ARADI Block Cipher. IACR Cryptol. ePrint Arch. 2024 (2024)
Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti
Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives. IACR Cryptol. ePrint Arch. 2024 (2024)
Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti
Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives. CANS (2023)
Julien Francq, Loïc Besson, Paul Huynh, Philippe Guillot, Gilles Millerioux, Marine Minier
Non-Triangular Self-Synchronizing Stream Ciphers. IEEE Trans. Computers 71 (1) (2022)
Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
Efficient Methods to Search for Best Differential Characteristics on SKINNY. ACNS (2) (2021)
Cyrius Nugier, Diane Leblanc-Albarel, Agathe Blaise, Simon Masson, Paul Huynh, Yris Brice Wandji Piugie
An Upcycling Tokenization Method for Credit Card Numbers. SECRYPT (2021)
Hamid Boukerrou, Paul Huynh, Virginie Lallemand, Bimal Mandal, Marine Minier
On the Feistel Counterpart of the Boomerang Connectivity Table Introduction and Analysis of the FBCT. IACR Trans. Symmetric Cryptol. 2020 (1) (2020)
Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme
SKINNY with Scalpel - Comparing Tools for Differential Analysis. IACR Cryptol. ePrint Arch. 2020 (2020)
Patrick Derbez, Paul Huynh, Virginie Lallemand, María Naya-Plasencia, Léo Perrin, André Schrottenloher
Cryptanalysis Results on Spook - Bringing Full-Round Shadow-512 to the Light. CRYPTO (3) (2020)
Patrick Derbez, Paul Huynh, Virginie Lallemand, María Naya-Plasencia, Léo Perrin, André Schrottenloher
Cryptanalysis Results on Spook. IACR Cryptol. ePrint Arch. 2020 (2020)