Automated Analysis of Secure Internet of Things Protocols.

Jun Young Kim, Ralph Holz, Wen Hu, Sanjay Jha

Browse the full ACSAC paper archive.