SEFM 2024 paper

Our paper Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards has been accepted at the 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024). Moreover, the associated artifact has received both the Reusable and the Available badges of EAPLS!