Formal Analysis and Verification for Three-Party Authentication Protocol of RFID.
Proceedings of the Theoretical Computer Science - 36th National Conference, 2018
Formal Analysis and Verification for an Ultralightweight Authentication Protocol RAPP of RFID.
Proceedings of the Theoretical Computer Science - 35th National Conference, 2017