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

Mario Lilli, Chiara Braghin, Elvinia Riccobene (2021)

Details and statistics

DOI: 10.5220/0010553301980209

access: closed

type: Conference or Workshop Paper

metadata version: 2025-03-03