@misc{indiciae66cd86daf0b9,
  title = {PARseL: Towards a Verified Root-of-Trust over seL4},
  author = {Ivan De Oliveira Nunes and Seoyeon Hwang and Sashidhar Jakkamsetti and Norrathep Rattanavipanon and Gene Tsudik},
  year = {2023},
  url = {https://arxiv.org/abs/2308.11921},
  note = {Source identifier: 2308.11921}
}