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 cybsersé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 (Postdoc at QI team, Lip6, Sorbonne University) [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

• Beyza Bozdemir () [description]
  Fermer

• Security analysis of cryptographic algorithms based on structured polynomial systems

  Julia Sauvage (ALMASTY team, LIP6, Sorbonne University ) [description]
  I will present some of the results of my thesis. We worked on the cryptanaysis of cryptographic schemes based on the problem of solving multivariate quadratic systems (MQ-problem). We cryptanaysed the Biscuit signature signature, first-round proposition for the NIST competition for additionnal post-quantum signature schemes. Our new attack breaked the initial parameters, thus we proposed new secured parameters. We also proposed and study 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 study the computationnal cost of solving these systems. Our main goal was here to propose secured 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 (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.  The activity of many organizations nowadays relies on the proper functioning of their information system (IS) despite the attacks it is subjected to. This thesis aims to automatically assess the security of IS using the concept of security twins: virtual copies of IS in production presenting the same characteristics from a security point of view. First, we collect and organize, in a data model, the elements of the IS that are useful to determine which attack procedures an attacker could chain to reach his goal. We also encode les conditions under which the procedures can be exploited and the gains after their exploitation. In particular, we studied the exploitation of known vulnerabilities (CVE) and the abuse of legitimate tools and configurations. The data model then allows building an attack position graph representing attack paths that could be exploited in the IS. Lastly, a virtual twin of the IS is deployed. This twin enables the exploitation of the attack paths identified and the proposal and testing of effective remediation. To conclude, we validate the application of our methodology on multiple real-world IS used in production.

  Fermer