Monday 23rd March 2026 2nd Cybersecurity DVRC/ESILV Workshop Cyber Campus Auditorium

• Cryptography in a Quantum World

  Céline Chevalier (Maître de conférences à l'Université Panthéon-Assas Paris 2, membre du CRED, membre associé de l'équipe Cryptographie du département d'informatique de l'ENS) [description]
  Fermer

• La confidentialité des données limite-t-elle la cybersécurité?

  Sébastien Canard (Professeur à Télécom Paris) [description]
  La cybersécurité s’appuie aujourd’hui sur une vaste palette de techniques : inspection du trafic, analyse de logs, détection d’anomalies, surveillance des accès… En parallèle de ce dispositif, la cryptographie joue un rôle essentiel pour assurer la confidentialité de nos données. Quand on regarde cet ensemble, un paradoxe émerge  cependant : comment détecter une menace lorsque les données à analyser sont chiffrées ? À mesure que le chiffrement devient la norme, les systèmes de cybersécurité se retrouvent privés d’une partie de leur visibilité. Faut-il alors sacrifier le chiffrement au nom de la cybersécurité ? Ou accepter de perdre l’efficacité de nos mécanismes de protection  et mieux protéger nos données ? Existe‑t‑il une solution qui réconcilierait visibilité et confidentialité?

  Fermer

• KCritical Rounds in Multi-Round Proofs: Proof of Partial Knowledge and Trapdoor Commitments

  Dung Bui (Postdoctoral researcher at EPITA and QI team, CNRS, LIP6, Sorbonne Université) [description]
  Zero-knowledge simulators, initially developed for proving the security of proof systems, turned out to be also useful in constructing advanced protocols from simple three-move interactive proofs. However, in the context of multi-round public-coin protocols, the interfaces of these auxiliary algorithms become more complex, introducing a range of technical challenges that hinder the generalization of these constructions. We introduce a framework to enhance the usability of zero-knowledge simulators in multi-round argument systems for protocol designs. Critical-round zero-knowledge relies on the ability to perform complete zero-knowledge simulations by knowing the challenge of just one specific round in advance. We show that these notions are satisfied by diverse protocols based on MPC-in-the-Head, interactive oracle proofs, and split-and-fold arguments. We demonstrate the usefulness of the critical round framework by constructing proofs of partial knowledge (Cramer, Damgård, and Schoenmakers, CRYPTO’94) and trapdoor commitments (Damgård, CRYPTO’89) from critical-round multi-round proofs.

  Fermer

• PRIDA: PRIvacy-preserving Data Aggregation with multiple data customers

  Beyza Bozdemir (Cryptography researcher, PhD in applied cryptography) [description]
  We propose a solution for user privacy-oriented privacy-preserving data aggregation with multiple data customers. Most existing state-of-the-art approaches present too much importance on performance efficiency and seem to ignore privacy properties except for input privacy. Most solutions for data aggregation do not generally discuss the users’ birthright, namely their privacy for their own data control and anonymity when they search for something on the browser or volunteer to participate in a survey. Still, they are ambitious to secure data customers’ rights (which should come later). They focus on resulting in an efficiency-oriented data aggregation enabling input privacy only. We aim to give importance to user privacy, and we have designed a solution for data aggregation in which we keep efficiency in balance. We show that PRIDA provides a good level of computational and communication complexities and is even better in timing evaluation than existing studies published recently (i.e., Bonawitz et al. (CCS’17), Corrigan-Gibbs et al. (NSDI’17), Bell et al. (CCS’20), Addanki et al. (SCN’22)). We employ threshold homomorphic encryption and secure two-party computation to ensure privacy properties. We balance the trade-off between a proper design for users and the desired privacy and efficiency.

  Fermer

• Security analysis of cryptographic algorithms based on structured polynomial systems

  Julia Sauvage (PhD Student, ALMASTY team, LIP6, Sorbonne University) [description]
  I will present some of the results of my thesis. We worked on the cryptanalysis of cryptographic schemes based on the problem of solving multivariate quadratic systems (MQ-problem). We cryptanalyzed the Biscuit signature, first-round proposition for the NIST competition for additional post-quantum signature schemes. Our new attack broke the initial parameters, thus we proposed new secure parameters. We also proposed and studied the security of a new commitment scheme based on the MQ-problem. We reduced the cryptanalysis of these schemes to the problem of solving structured polynomial systems, proposed specific attacks that used these structures, and studied the computational cost of solving these systems. Our main goal here is to propose secure parameters for these schemes.

  Fermer

• Attaques par réutilisation de code : état de l’art et perspectives

  Victor Mastrat (Doctorant, CARBONE, CNRS, Université de Lorraine) [description]
  Fermer

• Évaluation de la sécurité des systèmes d'information par la construction de jumeaux de sécurité

  Manuel Poisson (Doctorant, IRISA) [description]
  L'activité de nombreuses organisations repose sur le bon fonctionnement de leur système d'information (SI) malgré les attaques dont il est la cible. Cette thèse cherche à évaluer automatiquement le niveau de sécurité des SI à l'aide du concept de jumeaux de sécurité: des copies virtuelles de SI en production avec les mêmes caractéristiques du point de vue de la sécurité. D'abord, nous collectons et organisons dans un modèle de données les éléments du SI utiles pour déterminer les procédures d'attaque qui pourraient être enchaînées pour atteindre le but visé par l'attaquant. Nous encodons aussi les conditions permettant l'exploitation des procédures et les gains après leur exploitation. En particulier, nous avons travaillé sur l'exploitation de vulnérabilités connues (CVE) et le détournement d'outils et de configurations légitimes. Le modèle de données sert ensuite à construire un graphe de positions d'attaque représentant les chemins d'attaque exploitables dans le SI. Enfin, un jumeau virtuel du SI est déployé. Ce jumeau permet d'exploiter les chemins d'attaque identifiés et de proposer et tester des remédiations efficaces. Pour conclure, nous validons l'application de notre méthodologie sur plusieurs SI du monde réel utilisés en production.

  Fermer