A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication.
Yoshikazu HanataniMiyako OhkuboShin'ichiro MatsuoKazuo SakiyamaKazuo OhtaPublished in: Financial Cryptography Workshops (2011)