@inproceedings{Morgan_MSEM_14,
    address          = {Grenoble, France},
    author           = {Morgan, Carroll and McIver, Annabelle and Smith, Geoffrey and Espinoza, Barbara and Meinicke, Larisa},
    booktitle        = {Principles of Security and Trust (ETAPS)},
    month            = apr,
    pages            = {83--102},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7522.pdf},
    title            = {Abstract channels and their robust information-leakage ordering},
    year             = {2014}
  }