Compositional Vulnerability Detection with Insecurity Separation Logic.

Toby Murray, Pengbo Yan, Gidon Ernst

Browse the full ICFEM paper archive.