Formal Verification of Challenge Flow in EMV 3-D Secure. - Kakeru Watanabe; Kazuki Yoneyama (ACISP (2), 2024)