SVP PEPR Cybersécurité

PEPR Cybersecurity Security Verification Protocol

Distinguished Paper Award

Recent work by Adrien Koutsos and his co-authors received the Distinguished Paper Award at IEEE CSF 2022 (part of FLOC):
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the SQUIRREL Proof Assistant
with D. Baelde, S. Delaune, A. Koutsos and S. Moreau.

The pre-print is available on HAL here.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *