Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2006.08249
Cited By
v1
v2
v3 (latest)
The EMV Standard: Break, Fix, Verify
15 June 2020
David Basin
R. Sasse
Jorge Toro-Pozo
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"The EMV Standard: Break, Fix, Verify"
13 / 13 papers shown
The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
Linard Arquint
Samarth Kishor
Jason R. Koenig
Joey Dodds
Daniel Kroening
Peter Müller
171
0
0
01 Jul 2025
SoK: Security of EMV Contactless Payment Systems
European Symposium on Security and Privacy (EuroS&P), 2025
Mahshid Mehr Nezhad
Feng Hao
Gregory Epiphaniou
Carsten Maple
Timur Yunusov
220
4
0
17 Apr 2025
Automatic verification of Finite Variant Property beyond convergent equational theories
IEEE Computer Security Foundations Symposium (CSF), 2024
Vincent Cheval
Caroline Fontaine
52
1
0
20 Oct 2024
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
USENIX Security Symposium (USENIX Security), 2024
Jacob Ginesin
Max von Hippel
Evan Defloor
Cristina Nita-Rotaru
Michael Tüxen
138
3
0
08 Mar 2024
SOAP: A Social Authentication Protocol
USENIX Security Symposium (USENIX Security), 2024
Felix Linker
David Basin
73
4
0
05 Feb 2024
Provably Unlinkable Smart Card-based Payments
Conference on Computer and Communications Security (CCS), 2023
Sergiu Bursuc
Ross Horne
S. Mauw
S. Yurkov
186
3
0
06 Sep 2023
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves
IEEE Access (IEEE Access), 2023
P. Antonino
Ante Derek
Wojciech Aleksander Wołoszyn
224
8
0
16 May 2023
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
IEEE Symposium on Security and Privacy (IEEE S&P), 2022
Linard Arquint
Felix A. Wolf
Joseph Lallemand
R. Sasse
Christoph Sprenger
Sven N. Wiesner
David Basin
Peter Müller
152
13
0
08 Dec 2022
Security Analysis of the Consumer Remote SIM Provisioning Protocol
ACM Transactions on Privacy and Security (TOPS), 2022
Abu Shohel Ahmed
Aleksi Peltonen
Mohit Sethi
T. Aura
113
10
0
28 Nov 2022
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
Wansen Wang
Wenchao Huang
Zhaoyi Meng
Yan Xiong
Fuyou Miao
Xianjin Fang
Caichang Tu
Renjie Ji
254
1
0
27 Aug 2022
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
IEEE Computer Security Foundations Symposium (CSF), 2021
Ross Horne
S. Mauw
S. Yurkov
97
6
0
05 May 2021
A Formal Analysis of 5G Authentication
Conference on Computer and Communications Security (CCS), 2018
David Basin
Jannik Dreier
L. Hirschi
S. Radomirovic
R. Sasse
Vincent Stettler
254
426
0
27 Jun 2018
Chip and Skim: cloning EMV cards with the pre-play attack
IEEE Symposium on Security and Privacy (IEEE S&P), 2012
M. Bond
Omar Choudary
Steven J. Murdoch
S. Skorobogatov
Ross J. Anderson
262
135
0
12 Sep 2012
1
Page 1 of 1
