Véronique Cortier, Alicia Filipiak, Jan Florent, Said Gharout, Jacques Traoré. Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices. In 2017 IEEE European Symposium on Security and Privacy, EuroS&P 2017, Paris, France, April 26-28, 2017. pages 467-480, IEEE, 2017. [doi]
Abstract is missing.