- Ricerca
- Gruppo di ricerca
Gruppo di ricerca : ALMASTY - Algorithms for Communication Security
Axes : SSR (👥👥), TMC (👥👥).Responsabile del gruppo di ricerca :
Damien Vergnaud Campus Pierre et Marie Curie 24-25/412Contatti
Web siteMembers
Due personale accademico e di ricerca permanente, sei Studente di dottorato.
Presentazione breve
L’équipe ALMASTY aborde de manière complémentaire les deux aspects de la cryptologie, qui sont la cryptographie (conception de primitives cryptographiques comme le chiffrement et la signature) et la cryptanalyse (évaluation de la sécurité de primitives cryptographiques au regard des meilleurs algorithmes susceptibles de les attaquer).
En cryptographie, l'équipe couvre un spectre large. Au-delà de l'aspect algorithmique, l'équipe développe des techniques cryptographiques pour pallier, par partage de secret, les risques des implémentations des systèmes. L'équipe s'est aussi ouverte à des fonctionnalités cryptographiques avancées comme le calcul distribué sécurisé.
En cryptanalyse, l’équipe dévoue d’importants efforts à l’implémentation logicielle d’une bibliothèque d’algorithmes permettant des cryptanalyses d’envergure, qui nécessitent des ressources de calculs importantes.
Self-assessment Archivio Tesi
Tags
Sécurité Cryptographie CryptanalyseSelected publications
- Ch. Bouillaguet, J. Sauvage : “Preliminary Cryptanalysis of the Biscuit Signature Scheme” IACR Communications in Cryptology, vol. 1 (1), (International Association for Cryptologic Research (IACR))[Bouillaguet 2024b]
- Ch. Bouillaguet : “Algorithm xxx: Evaluating a Boolean Polynomial on All Possible Inputs” ACM Transactions on Mathematical Software, (Association for Computing Machinery)[Bouillaguet 2024a]
- Ch. Bouillaguet, F. Martinez, D. Vergnaud : “Cryptanalysis of a Generalized Subset-Sum Pseudorandom Generator” 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics (LIPIcs), Bordeaux, France, (Schloss Dagstuhl)[Bouillaguet 2023c]
- Ch. Bouillaguet, A. Fleury, P.‑A. Fouque, P. Kirchner : “We are on the same side. Alternative sieving strategies for the number field sieve” Advances in Cryptology -- ASIACRYPT 2023, vol. 14441, Lecture Notes in Computer Science, Guangzhou, China, pp. 138-166, (Springer Nature Singapore), (ISBN: 978-981-99-8730-6)[Bouillaguet 2023b]
- A. Berzati, A. Calle Viera, M. Chartouny, S. Madec, D. Vergnaud, D. Vigilant : “Exploiting Intermediate Value Leakage in Dilithium: A Template-Based Approach” IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2023 (4), pp. 188-210, (IACR)[Berzati 2023]
- Th. Feneuil, J. Maire, M. Rivain, D. Vergnaud : “Zero-Knowledge Protocols for the Subset Sum Problem from MPC-in-the-Head with Rejection” Advances in Cryptology - Asiacrypt 2022, vol. 13792, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 371–402, (Springer)[Feneuil 2022]
- S. Belaid, D. Mercadier, M. Rivain, A. Taleb : “IronMask: Versatile Verification of Masking Security” 2022 IEEE Symposium on Security and Privacy (SP), San Francisco, United States, pp. 142-160, (IEEE)[Belaid 2022]
- C. Chevalier, F. Laguillaumie, D. Vergnaud : “Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions” Algorithmica, vol. 83 (1), pp. 72-115, (Springer Verlag)[Chevalier 2021]
- E. Kushilevitz, R. Ostrovsky, E. Prouff, A. Rosén, A. Thillard, D. Vergnaud : “Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND” SIAM Journal on Discrete Mathematics, vol. 35 (1), pp. 465-484, (Society for Industrial and Applied Mathematics)[Kushilevitz 2021]
- A. Narayanan, M. Weidner : “On Decoding Cohen-Haeupler-Schulman Tree Codes” ACM-SIAM Symposium on Discrete Algorithms, SODA 2020, Salt Lake City, UT, United States, pp. 1337-1356, (Society for Industrial and Applied Mathematics)[Narayanan 2020]