Ioana Boureanu, Liqun Chen, Sam Ivey. Provable-Security Model for Strong Proximity-based Attacks: With Application to Contactless Payments. In Hung-Min Sun, Shiuh-Pyng Shieh, Guofei Gu, Giuseppe Ateniese, editors, ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020. pages 87-100, ACM, 2020. [doi]
Abstract is missing.