Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne. Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. In IEEE European Symposium on Security and Privacy, EuroS&P 2020, Genoa, Italy, September 7-11, 2020. pages 425-444, IEEE, 2020. [doi]
Abstract is missing.