Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ACISP
/
Paper
Formal Verification of Challenge Flow in EMV 3-D Secure.
Kakeru Watanabe
,
Kazuki Yoneyama
Venue
Australasian
ACISP
Year
2024
Proceedings
ACISP (2)
DBLP record
conf/acisp/WatanabeY24 ↗
Browse the full
ACISP paper archive
.