@phdthesis{Cock:phd,
    address          = {Sydney, Australia},
    author           = {Cock, David},
    keywords         = {sel4 sidechannels covertchannels verification},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8298.pdf},
    school           = {UNSW},
    title            = {Leakage in Trustworthy Systems},
    year             = {2014}
  }