Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices. - Véronique Cortier; Alicia Filipiak; Jan Florent; Said Gharout; Jacques Traoré (EuroS&P, 2017)