Michael Huth, Flemming Nielson. Static Analysis for Proactive Security. In VIDEO: Lecture Notes in Computer Science Celebrates 10,000th Manuscript!. Volume 10000 of Lecture Notes in Computer Science, pages 374-392, Springer, 2019. [doi]
Abstract is missing.