Automated Analysis of Secure Internet of Things Protocols

Abstract

Publication
Proc. Annual Computer Security Applications Conference (ACSAC)
Date
Links
PDF