@inproceedings{Murray_SPR_16,
    address          = {Lisbon, Portugal},
    author           = {Murray, Toby and Sison, Robert and Pierzchalski, Edward and Rizkallah, Christine},
    booktitle        = {IEEE Computer Security Foundations Symposium},
    keywords         = {dependent security type systems, secure refinement, isabelle/hol},
    month            = jun,
    pages            = {417--431},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9213.pdf},
    title            = {Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference},
    year             = {2016}
  }