@misc{Heiser_11:cases,
    author           = {Gernot Heiser},
    howpublished     = {Invited talk at International Conference on Compilers, Architecture and Synthesis for Embedded
                        Systems (CASES), Taipei, Taiwan},
    month            = oct,
    title            = {Low-Overhead Virtualization of Mobile Systems},
    url              = {https://trustworthy.systems/publications/papers/Heiser_11:cases.abstract.pml},
    year             = {2011}
  }