Formalizing an Architectural Model of a Trustworthy Edge IoT Security Gateway

Matt McCormack, Amit Vasudevan, Guyue Liu, Vyas Sekar

Browse the full RTCSA paper archive.