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]

Authors

Lobna Abuserrieh

This author has not been identified. Look up 'Lobna Abuserrieh' in Google

Manar H. Alalfi

This author has not been identified. Look up 'Manar H. Alalfi' in Google