TY  - RPRT
TI  - Verifying Software Vulnerabilities in IoT Cryptographic Protocols
AU  - Fatimah Aljaafari
AU  - Lucas C. Cordeiro
AU  - Mustafa A. Mustafa
PY  - 2020
UR  - https://arxiv.org/abs/2001.09837
ID  - 2001.09837
ER  -