PARseL: Towards a Verified Root-of-Trust over seL4

MLA

Nunes, Ivan De Oliveira, et al. PARseL: Towards a Verified Root-of-Trust over SeL4. 2023. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1438473137&authtype=sso&custid=ns315887.

APA

Nunes, I. D. O., Hwang, S., Jakkamsetti, S., Rattanavipanon, N., & Tsudik, G. (2023). PARseL: Towards a Verified Root-of-Trust over seL4.

Chicago

Nunes, Ivan De Oliveira, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, and Gene Tsudik. 2023. “PARseL: Towards a Verified Root-of-Trust over SeL4.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1438473137&authtype=sso&custid=ns315887.