Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs

Robert Sison. Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent Programs. PhD thesis, University of New South Wales, Sydney, Australia, 2020. [doi]

Abstract

Abstract is missing.