A Correctness Proof for the Volpano/Smith Security Typing System by Gregor Snelting 🌐 and Daniel Wasserrab 🌐 Sep 02