Dear All, our paper Towards Formal Verification of IoT Protocols: A Review was accepted by Elsevier Computer Networks. Sparta is acknowledged in the paper. No sensitive information is in the journal paper. You can find the accepted version of the paper attached. Best regards, Katharina Hofer-Schmitz Dipl.-Ing. Dr. Katharina Hofer-Schmitz DIGITAL - Institute for Information and Communication Technologies Competence Group Cyber Security and Defence JOANNEUM RESEARCH Forschungsgesellschaft mbH Steyrergasse 17, 8010 Graz, AUSTRIA phone: +43-316-876-5702 web: http://www.joanneum.at/digital e-mail: katharina.hofer-schmitz@joanneum.at<mailto:katharina.hofer-schmitz@joanneum.at> Von: bodies.dissemination-committee &lt;bodies.dissemination-committee-bounces(a)server.sparta.eu&gt; Im Auftrag von Hofer-Schmitz, Katharina Gesendet: Montag, 17. Februar 2020 14:41 An: bodies.dissemination-committee(a)internal.sparta.eu Betreff: [SPARTA - bodies.dissemination-committee] Paper: Towards Formal Verification of IoT Protocols: A Review Dear All, we plan to submit a journal paper with the title: Towards Formal Verification of IoT Protocols: A Review We do not have any sensitive information in the journal paper. The abstract is below: Abstract: Formal verification is a crucial method to detect possible weaknesses and possible vulnerabilities already at an early stage. Formal Verification is one of the crucial method to detect possible weaknesses and vulnerabilities at an early stage. This paper reviews formal methods for an extensive variety of protocols used in the IoT environment. It gives detailed descriptions of the considered properties and the applied methods. An in-depth literature review shows that four application fields can be distinguished, namely: (1) functional checks, (2) checks on security properties, (3) suggestions for enhanced schemes including a priori security property checks and (4) implementation checks of protocols. This paper further offers a comprehensive overview of the covered security properties and of commonly used tools for protocols in the field. Additionally, an extensive description and overview of commonly used model checkers is given and open issues and challenges in the IoT field are addressed. If accepted, we plan to acknowledge SPARTA. Best regards, Katharina Hofer-Schmitz Dipl.-Ing. Dr. Katharina Hofer-Schmitz DIGITAL - Institute for Information and Communication Technologies Competence Group Cyber Security and Defence JOANNEUM RESEARCH Forschungsgesellschaft mbH Steyrergasse 17, 8010 Graz, AUSTRIA phone: +43-316-876-5702 web: http://www.joanneum.at/digital e-mail: katharina.hofer-schmitz@joanneum.at<mailto:katharina.hofer-schmitz@joanneum.at>