Our paper Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards, by Matteo Paier, Roberto Van Eeden and Marino Miculan, has received the Best Paper Award at the 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)! 🏆

The associated artifact has also received both the Reusable and the Available badges of EAPLS.