Old Web
English
Sign In
Acemap
>
Paper
>
Formal Proof of a Vulnerability in Z-Wave IoT Protocol.
Formal Proof of a Vulnerability in Z-Wave IoT Protocol.
2021
Mario Lilli
Chiara Braghin
Elvinia Riccobene
Keywords:
Computer security
Internet of Things
Z-Wave
Vulnerability (computing)
Computer science
Protocol (object-oriented programming)
Formal proof
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]