Taciane Martimiano

According to our database, Taciane Martimiano authored at least 3 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

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

Proceedings of the Security Protocols XXVI, 2018

2016

Threat Modelling Service Security as a Security Ceremony.

Taciane Martimiano, Jean Everson Martina

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2014

Modelling User Devices in Security Ceremonies.

Taciane Martimiano, Jean Everson Martina, Maina M. Olembo, Marcelo Carlomagno Carlos

Proceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, 2014