Open AccessFormal Proof of a Vulnerability in Z-Wave IoT Protocol
Author(s) -
Mario Lilli,
Chiara Braghin,
Elvinia Riccobene
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0010553301980209
Subject(s) - protocol (science) , computer science , vulnerability (computing) , internet of things , formal proof , proof of concept , computer security , mathematics , mathematical proof , medicine , operating system , alternative medicine , pathology , geometry