Login / Signup
Kakeru Watanabe
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Payment Protocol
Security Services
Symbolic Model Checking
Formal Verification
Top Venues
ACISP (2)
</>
Publications
</>
Kakeru Watanabe
,
Kazuki Yoneyama
Formal Verification of Challenge Flow in EMV 3-D Secure.
ACISP (2)
(2024)