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)
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.
© Springer Nature Switzerland AG 2018