Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices.

Michal Jarosz, Konrad S. Wrona, Zbigniew Zielinski

Browse the full FedCSIS paper archive.