Compositional Verification and Refinement of Noninterference

Artifacts for ICFEM 2023 Paper

Accompanying the paper Compositional Vulnerability Detection with Insecurity Separation Logic
Toby Murray, Pengbo Yan and Gidon Ernst. In International Conference on Formal Engineering Methods (ICFEM), 2023

Extended Version of the Paper
Isabelle/HOL Formlisation
Underflow Tool
Pulse-InsecSL Tool


Toby Murray, Pengbo Yan, Gidon Ernst