Trustless IoT: A Logic-Driven Architecture for IoT Hubs

TitleTrustless IoT: A Logic-Driven Architecture for IoT Hubs
Publication TypeConference Paper
Year of Publication2020
AuthorsBasu S, Sirer EGun
Conference Name3rd USENIX Workshop on Hot Topics in Edge Computing (HotEdge 20)
Date Published06/2020
PublisherUSENIX Association
URLhttps://www.usenix.org/conference/hotedge20/presentation/basu