@phdthesis{Sison:phd,
    address          = {Sydney, Australia},
    author           = {Robert Sison},
    doi              = {10.26190/5fab5c0a76454},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/papers/Sison%3Aphd.pdf},
    school           = {UNSW},
    title            = {Proving Confidentiality and Its Preservation Under Compilation for Mixed-Sensitivity Concurrent
                        Programs},
    type             = {{PhD} thesis},
    url              = {http://handle.unsw.edu.au/1959.4/70452},
    year             = {2020}
  }