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

researchr

You are not signed in
Sign in
Sign up

Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik. $\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. In IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023. pages 1-9, IEEE, 2023. [doi]

This author has not been identified. Look up 'Ivan De Oliveira Nunes' in GoogleThis author has not been identified. Look up 'Seoyeon Hwang' in GoogleThis author has not been identified. Look up 'Sashidhar Jakkamsetti' in GoogleThis author has not been identified. Look up 'Norrathep Rattanavipanon' in GoogleThis author has not been identified. Look up 'Gene Tsudik' in Google

runs on WebDSL