Security and Safety Verification in IoT Apps

Lobna Abuserrieh, Manar H. Alalfi. Security and Safety Verification in IoT Apps. In IEEE International Conference on Software Maintenance and Evolution, ICSME 2023, Bogotá, Colombia, October 1-6, 2023. pages 601-605, IEEE, 2023. [doi]

Abstract

Abstract is missing.