TY - RPRT TI - Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations AU - Fatimah Aljaafari AU - Rafael Menezes AU - Mustafa A. Mustafa AU - Lucas C. Cordeiro PY - 2021 UR - https://arxiv.org/abs/2103.11363 ID - 2103.11363 ER -