A mutual authentication protocol for low-cost RFID tags formally verified using CasperFDR and AVISPA. - Sarah Abughazalah; Konstantinos Markantonakis; Keith Mayes (ICITST, 2013)

A Vulnerability in the Song Authentication Protocol for Low-Cost RFID Tags. - Sarah Abughazalah; Konstantinos Markantonakis; Keith Mayes (SEC, 2013)

Enhancing the Key Distribution Model in the RFID-Enabled Supply Chains. - Sarah Abughazalah; Konstantinos Markantonakis; Keith Mayes (AINA Workshops, 2014)

Secure Improved Cloud-Based RFID Authentication Protocol. - Sarah Abughazalah; Konstantinos Markantonakis; Keith Mayes (DPM/SETOP/QASA, 2014)

Secure Mobile Payment on NFC-Enabled Mobile Phones Formally Analysed Using CasperFDR. - Sarah Abughazalah; Konstantinos Markantonakis; Keith Mayes (TrustCom, 2014)

Two rounds RFID grouping-proof protocol. - Sarah Abughazalah; Konstantinos Markantonakis; Keith Mayes (IEEE RFID, 2016)