A Tale of Santa Building a Trustworthy System

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “A tale of santa building a trustworthy system,” presented at the Christmas lecture 2023, department of computer science, university of exeter, Exeter, UK, Dec. 11, 2023. Author copy: http://logicalhacking.com/publications/talk-brucker-christmas-lecture-2023/

BibTeX
@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{http://logicalhacking.com/publications/talk-brucker-christmas-lecture-2023/}},
}