home
people
publications
echo
sha-3
projects
venue
Alicia Filipiak
Mail:
Phone:
Fax:
forename.name@orange.com
+33 1 45 29 58 01
/
current research
Formal method, mobile platforms
publications at Orange Labs
Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices
(EuroS&P, 2017)
V. Cortier,
A. Filipiak
, J. Florent, S. Gharout, and
J. Traore
.