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