- Peng Liu 0004, Sjouke Mauw, Ketil Stølen, editors, Graphical Models for Security - 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Volume 10744 of Lecture Notes in Computer Science, Springer, 2018.
- 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. IEEE Computer Society, 2018.