@misc{Heiser_20:wdig,
    author           = {Gernot Heiser},
    howpublished     = {Invited Talk at the {Western Digital} Security Workshop},
    location         = {Online},
    month            = dec,
    title            = {The {seL4} Microkernel -- Security Through Mathematical Proof},
    year             = {2020}
  }