A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
IoTVerif: Automatic Verification of SSL/TLS Certificate for IoT Applications
2019
IEEE Access
Although extensive research has been conducted on securing the Internet of Things (IoT) communication protocols, various vulnerabilities and exploits are continuously discovered and reported. Since vulnerabilities are introduced from either insecure communication protocols or defectiveness of applications, it is difficult to identify them during the software development or testing phase. In this paper, we present IoTVerif, a system that automatically verifies the Secure Socket Layer/Transport
doi:10.1109/access.2019.2961918
fatcat:472mexpvxbcr7cg2nc6mbeaqnm