Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer by Daniel Wasserrab 🌐 Nov 13
A Correctness Proof for the Volpano/Smith Security Typing System by Gregor Snelting 🌐 and Daniel Wasserrab 🌐 Sep 02