TY  - RPRT
TI  - PARseL: Towards a Verified Root-of-Trust over seL4
AU  - Ivan De Oliveira Nunes
AU  - Seoyeon Hwang
AU  - Sashidhar Jakkamsetti
AU  - Norrathep Rattanavipanon
AU  - Gene Tsudik
PY  - 2023
UR  - https://arxiv.org/abs/2308.11921
ID  - 2308.11921
ER  -