Formal Proof of a Vulnerability in Z-Wave IoT Protocol.

Mario Lilli, Chiara Braghin, Elvinia Riccobene

Browse the full SECRYPT paper archive.