Pour sa 35 édition, trois membres de l’équipe Spicy, se sont distingués une fois de plus à la conférence CSF 2022 - IEEE Computer Security Foundations Symposium, qui s’est tenue à Haifa en Israël en août dernier.
Félicitations à David Baelde (professeur ENS Rennes et membre de l’équipe Spicy), Stéphanie Delaune (directrice de recherche CNRS et responsable de l’équipe Spicy), Solène Moreau (ancienne doctorante dans l’équipe Spicy et maintenant ingénieure de recherche Inria Saclay) et Adrien Koutsos (chercheur Inria Paris) pour leur article « Cracking the Stateful Nut -- Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant ».
Ce papier vient ajouter de nouvelles fonctionnalités pour permettre l’analyse de protocoles à états, intégrées dans le prouveur automatique Squirrel
Félicitations !