A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP.

Roberto van Eeden, Matteo Paier, Marino Miculan

Browse the full SECRYPT paper archive.