A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP. - Roberto van Eeden; Matteo Paier; Marino Miculan (SECRYPT, 2024)

Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. - Matteo Paier; Roberto van Eeden; Marino Miculan (SEFM, 2024)