Our paper A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP has been accepted at the 21st International Conference on Security and Cryptography (SECRYPT).