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 (Transcript of Discussion)
  • Jean Everson MartinaEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11286)


This article is a curated transcription of the discussion that took place at the workshop when the author presented the paper.

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Programa de Pós-Graduação em Ciência da Computação, Departamento de Informática e EstatísticaUniversidade Federal de Santa CatarinaFlorianópolisBrazil

Personalised recommendations