@Unpublished{ talk:brucker:christmas-lecture:2023,
  author     = {Achim D. Brucker},
  date       = {2023-12-11},
  title      = {A Tale of Santa Building a Trustworthy System},
  eventtitle = {Christmas Lecture 2023, Department of Computer Science,
                University of Exeter},
  language   = {english},
  areas      = {security, formal methods},
  venue      = {Exeter, UK},
  abstract   = {},
  note       = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-christmas-lecture-2023/}},
  pdf        = {https://logicalhacking.com/publications/talk-brucker-christmas-lecture-2023/talk-brucker-christmas-lecture-2023.pdf},
}