Toggle Main Menu Toggle Search

Open Access padlockePrints

A methodology for protocol verification applied to EMV® 1

Lookup NU author(s): Dr Leo Freitas, Dr Paolo Modesti, Dr Martin Emms



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer Verlag, 2018.

For re-use rights please refer to the publisher's terms and conditions.


© Springer Nature Switzerland AG 2018. 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.

Publication metadata

Author(s): Freitas L, Modesti P, Emms M

Editor(s): Tiago Massoni and Mohammad Reza Mousavi

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 21st Brazilian Symposium on Formal Methods (SBMF 2018)

Year of Conference: 2018

Pages: 180-197

Online publication date: 24/10/2018

Acceptance date: 02/04/2018

Date deposited: 24/01/2019

ISSN: 0302-9743

Publisher: Springer Verlag


DOI: 10.1007/978-3-030-03044-5_12

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783030030438