Room 206 (2nd floor, badged access)
6 March 2025 - 14h00
Logique et Cybersécurité
by Yannick Chevalier from Univ. Toulouse 3, IRIT
invited by David MONNIAUX
6 March 2025 - 14h00
Logique et Cybersécurité
by Yannick Chevalier from Univ. Toulouse 3, IRIT
invited by David MONNIAUX
Résumé : Le domaine de la cybersécurité offre un vaste champ d'applications au logicien, car la complexité des systèmes informatiques modernes et le besoin de garantie de propriétés de sécurité nécessite l'utilisation et le développement de techniques de preuve automatique adaptées. Si ces techniques sont adaptées pour l'analyse locale de la sécurité (d'un protocole, d'un composant), les techniques habituelles de raisonnement automatique sont inadaptées à la taille de systèmes réels, laissant la place à des techniques d'apprentissage automatique efficaces en pratique mais n'offrant que très peu de garanties. Après avoir présenté les résultats obtenus dans le passé sur l'analyse de protocoles cryptographiques, j'esquisserai des perspectives d'applications de certains résultats à des problèmes d'analyses de données (logs, réseaux sociaux) et à l'utilisation de méthodes neurosymboliques pour la synthèse de modèles logiques à partir de données.
Candidat potentiel sur le poste de professeur pour Verimag ouvert au concours cette année.
