@inproceedings{Murray_15,
    address          = {Prague, Czech Republic},
    author           = {Murray, Toby},
    booktitle        = {ACM SIGPLAN Workshop on Programming Languages and Analysis for Security},
    month            = jul,
    pages            = {43--48},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8697.pdf},
    title            = {On High-Assurance Information-Flow-Secure Programming Languages},
    year             = {2015}
  }