Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+. Elsa Lopez Perez, Thomas Watteyne, Cristina Onete, Clement Papon, Dhekra Mahmoud, Pascal Lafourcade, Mališa Vučinić. ACM ASIA Conference on Computer and Communications Security (ASIACCS), Bangalore, India, 1-5 June 2026.
Associate Teams
The Inria-EVA team is associated with Prof. Glaser's team at UC Berkeley and Prof. Kerkez' team at the University of Michigan through the REALMS associate team.
The Inria-EVA team is associated with Prof. Krishnamachari's team at the University of Southern California through the DIVERSITY associate team.