@misc{indiciaef81994a1f9af,
  title = {Verifying Software Vulnerabilities in IoT Cryptographic Protocols},
  author = {Fatimah Aljaafari and Lucas C. Cordeiro and Mustafa A. Mustafa},
  year = {2020},
  url = {https://arxiv.org/abs/2001.09837},
  note = {Source identifier: 2001.09837}
}