A Methodology for Protocol Verification Applied to EMV 1

Leo Freitas, Paolo Modesti, Martin Emms

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    138 Downloads (Pure)


    The EMVCo (EMV® is a registered trademark or trademark of EMVCo, LLC in the US and other countries.) organisation (i.e. MasterCard, Visa, etc.) protocols facilitate worldwide interoperability of secure electronic payments. Despite recent advances, it has proved difficult for academia to provide an acceptable solution to construction of secure applications within industry’s constraints. In this paper, we describe a methodology we have applied to EMV1. It involves domain specific languages and verification tools targeting different analysis of interest. We are currently collaborating with EMVCo on their upcoming EMV® 2 nd Generation (EMV2) specifications.

    Original languageEnglish
    Title of host publicationFormal Methods
    Subtitle of host publicationFoundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings
    EditorsTiago Massoni, Mohammad Reza Mousavi
    Number of pages18
    ISBN (Print)9783030030438
    Publication statusPublished - 2018

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume11254 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Dive into the research topics of 'A Methodology for Protocol Verification Applied to EMV 1'. Together they form a unique fingerprint.

    Cite this