Pengbo Yan

Thesis Title

Scalable, Principled Vulnerability Detection via Insecurity Logics

Supervisors

Toby Murray

Thuan Pham

Robert Sison

Discipline

Computer Science