Michal Jarosz, Konrad S. Wrona, Zbigniew Zielinski. Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Proceedings of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022. Volume 30 of Annals of Computer Science and Information Systems, pages 617-625, 2022. [doi]
Abstract is missing.