KAUST-CEMSE-CS-Seminar-Yinxi-Liu-Programming Theory in Security Analysis_ A Tripartite Framework for Vulnerability Specification.jpg