Jan Florent

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Payment Protocol

Formal Analysis

Top Venues

Publications

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