Formal Analysis of the EMV Protocol Suite

@inproceedings{Ruiter2011FormalAO,
  title={Formal Analysis of the EMV Protocol Suite},
  author={Joeri de Ruiter and Erik Poll},
  booktitle={TOSCA},
  year={2011}
}
This paper presents a formal model of the EMV (EuropayMasterCard-Visa) protocol suite in F# and its analysis using the protocol verification tool ProVerif [4] in combination with FS2PV [3]. The formalisation covers all the major options of the EMV protocol suite, including all card authentication mechanisms and both onand offline transactions. Some configuration parameters have to be fixed to allow any security analysis; here we follow the configuration of Dutch EMV banking cards, but the model… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 26 extracted citations

Similar Papers

Loading similar papers…