Guirat, Iness Ben, Halpin, Harry · Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security · 2018