Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments. - Ioana Boureanu; Liqun Chen 002; Sam Ivey (AsiaCCS, 2020)