Miyako Ohkubo, Shin’ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama and Kazuo Ohta, “Robust RFID Authentication Protocol with Formal Proof and Its Feasibility,” Cryptology ePrint Archive, Report 2010/345, 2010.