Proceedings

• Harley Eades III, Olga Gadyatskaya, editors, Graphical Models for Security - 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers. Volume 12419 of Lecture Notes in Computer Science, Springer, 2020.