@inproceedings{Cock_GMH_14,
    address          = {Scottsdale, AZ, USA},
    author           = {Cock, David and Ge, Qian and Murray, Toby and Heiser, Gernot},
    booktitle        = {ACM Conference on Computer and Communications Security},
    keywords         = {sel4 sidechannels covertchannels timingchannels},
    month            = nov,
    pages            = {570--581},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8295.pdf},
    publisher        = {ACM},
    title            = {The Last Mile: An Empirical Study of Some Timing Channels on {seL4}},
    year             = {2014}
  }