Personensuche
X
?
Information Security and Privacy; Lecture Notes in Computer Science ,
1
Formal Verification of Challenge Flow in EMV 3-D Secure:
, In:
?
2023 21st IEEE Interregional NEWCAS Conference (NEWCAS) ,
11