Lilla Pankaczi

Publication Activity (10 Years)

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

Top Topics

Authentication Protocol

Formal Analysis

Top Venues

Publications

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