Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2308.11921
Cited By
PARseL: Towards a Verified Root-of-Trust over seL4
23 August 2023
Ivan De Oliveira Nunes
Seoyeon Hwang
Sashidhar Jakkamsetti
Norrathep Rattanavipanon
Gene Tsudik
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"PARseL: Towards a Verified Root-of-Trust over seL4"
1 / 1 papers shown
Title
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence (Full Version)
Sashidhar Jakkamsetti
Youngil Kim
Gene Tsudik
62
6
0
07 Sep 2023
1
