We have conducted extensive research on low-cost authentication protocols, supply chain and RFIDs, and grouping proofs for RFID tokens. As part of this research thread, we have identified several weaknesses and “attacks” in existing low-cost RFID protocols along with proposing our improved protocols. These are implemented and tested, both in terms of security and performance, in real-world RFID tokens/devices. Moreover, we have also instrumented the use of mechanical formal method tools (e.g. AVISPA, Casper/FDR and Scyther) as an additional layer of verification for our proposed protocols.
Grouping proofs push the boundaries of token and reader interactions towards the secure authentication of multiple tokens within acceptable time frames, which has led to a number of publications. We have been researching lightweight authentication protocols for RFID token protocols and their application in grouping proofs.
