Slicing Dependents

Verified Construction of Static Single Assignment Form

by Sebastian Ullrich and Denis Lohner

Information Flow Noninterference via Slicing

by Daniel Wasserrab