Enhancing the Security of ISO/IEC 14443-3 and 4 RFID Authentication Protocols through Formal Analysis. - Lilla Pankaczi; Mohamed Eldefrawy (COINS, 2023)