A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry.

Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge

Browse the full ISSRE paper archive.