Automated Security Analysis of IoT Software Updates

Nicolas Dejon, Davide Caputo, Luca Verderame, Alessandro Armando, Alessio Merlo. Automated Security Analysis of IoT Software Updates. In Maryline Laurent, Thanassis Giannetsos, editors, Information Security Theory and Practice - 13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 11-12, 2019, Proceedings. Volume 12024 of Lecture Notes in Computer Science, pages 223-239, Springer, 2019. [doi]

Authors

Nicolas Dejon

This author has not been identified. Look up 'Nicolas Dejon' in Google

Davide Caputo

This author has not been identified. Look up 'Davide Caputo' in Google

Luca Verderame

This author has not been identified. Look up 'Luca Verderame' in Google

Alessandro Armando

This author has not been identified. Look up 'Alessandro Armando' in Google

Alessio Merlo

This author has not been identified. Look up 'Alessio Merlo' in Google