Padmanabhan Krishnan. Security Research: Program Analysis Meets Security. In Antonio Cerone, editor, Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. Volume 13490 of Lecture Notes in Computer Science, pages 162-168, Springer, 2021. [doi]
Abstract is missing.