@inproceedings{Kuz_19,
    address          = {Herndon, VA, USA},
    author           = {Ihor Kuz},
    booktitle        = {{seL4} Summit},
    month            = sep,
    title            = {Building Trustworthy Systems on {seL4}},
    year             = {2019}
  }