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]
Abstract is missing.