Understanding the Weaknesses of Human-Protocol Interaction. - Marcelo Carlomagno Carlos; Geraint Price (Financial Cryptography Workshops, 2012)

A Proposed Framework for Analysing Security Ceremonies. - Marcelo Carlomagno Carlos; Jean Everson Martina; Geraint Price; Ricardo Felipe Custódio (SECRYPT, 2012)

An updated threat model for security ceremonies. - Marcelo Carlomagno Carlos; Jean Everson Martina; Geraint Price; Ricardo Felipe Custódio (SAC, 2013)

Modelling User Devices in Security Ceremonies. - Taciane Martimiano; Jean Everson Martina; Maina M. Olembo; Marcelo Carlomagno Carlos (STAST, 2014)

An adaptive threat model for security ceremonies. - Jean Everson Martina; Eduardo dos Santos; Marcelo Carlomagno Carlos; Geraint Price; Ricardo Felipe Custódio (Int. J. Inf. Sec., 2015)