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

Threat Modelling Service Security as a Security Ceremony. - Taciane Martimiano; Jean Everson Martina (ARES, 2016)

Daemones Non Operantur Nisi Per Artem - Daemons Do Not Operate Save Through Trickery: Human Tailored Threat Models for Formal Verification of Fail-Safe Security Ceremonies. - Taciane Martimiano; Jean Everson Martina (Security Protocols Workshop, 2018)