$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4.

Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

Browse the full ICCAD paper archive.