Aug 23, 2023 · This paper picks up where HYDRA left off by constructing a PARseL architecture, that separates all user-dependent components from the TCB. This ...
Aug 23, 2023 · Abstract—Widespread adoption and growing popularity of embed- ded/IoT/CPS devices make them attractive attack targets. On low-to-.
Aug 23, 2023 · This leads to much stronger isolation guarantees, based on seL4 alone, and facilitates formal verification. In PARseL, We use formal ...
People also ask
How is seL4 verified?
What is root of trust verification?
What is the root of trust in secure boot?
What is root of trust platform?
Dec 9, 2023 · This paper picks up where HYDRA left off by constructing a PARseL architecture, that separates all user-dependent components from the TCB. This ...
PARseL: Towards a Verified Root-of-Trust over seL4. Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, and Gene Tsudik ...
[July 26, 2023] Paper “PARseL: Towards a Verified Root-of-Trust over seL4” is accepted in ICCAD 2023. [June 9, 2023] Paper “ACFA: Secure Runtime Auditing ...
ACM Transactions on Privacy and Security 26 (3), 1-28, 2023. 4, 2023. Parsel: Towards a verified root-of-trust over sel4. IDO Nunes, S Hwang, S Jakkamsetti, N ...
PARseL: Towards a Verified Root-of-Trust over seL4. CoRR abs/2308.11921 (2023). [i95]. view. electronic edition via DOI (open access); references & citations.
APEX: A Verified Architecture for Proofs of Execution on Remote Devices ... Source code for PARseL: Towards a Verified Root-of-Trust over seL4. sprout ...
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, and Gene Tsudik, PARseL: Towards a Verified Root-of-Trust over seL4, ...