Taciane Martimiano

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Formal Verification

Security Issues

Biometric Systems

Ubiquitous Computing Environments

Top Venues

Security Protocols Workshop

Publications

Taciane Martimiano, Jean Everson Martina
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. Security Protocols Workshop (2018)
Taciane Martimiano, Jean Everson Martina
Threat Modelling Service Security as a Security Ceremony. ARES (2016)
Taciane Martimiano, Jean Everson Martina, Maina M. Olembo, Marcelo Carlomagno Carlos
Modelling User Devices in Security Ceremonies. STAST (2014)