Login / Signup

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

Mario LilliChiara BraghinElvinia Riccobene
Published in: SECRYPT (2021)
Keyphrases
  • formal proof
  • management system
  • theorem prover
  • machine learning
  • cloud computing
  • wave equation
  • database systems
  • big data