Our paper Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards has received the Best Paper Award at the 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)! 🏆🥇🎉