@article{Heiser_MK_12,
    author           = {Heiser, Gernot and Murray, Toby and Klein, Gerwin},
    journal          = {IEEE Symposium on Security and Privacy},
    keywords         = {trustworthy systems, verification and analysis, sel4 microkernel, integrity, confidentiality,
                        worst-case execution time, safety, security, computer security, functional correctness, authority
                        confinement, noninterference},
    month            = mar,
    number           = {2},
    pages            = {67--70},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5778.pdf},
    publisher        = {IEEE Computer Society},
    title            = {It's Time for Trustworthy Systems},
    volume           = {10},
    year             = {2012}
  }