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]
@inproceedings{DejonCVAM19, title = {Automated Security Analysis of IoT Software Updates}, author = {Nicolas Dejon and Davide Caputo and Luca Verderame and Alessandro Armando and Alessio Merlo}, year = {2019}, doi = {10.1007/978-3-030-41702-4_14}, url = {https://doi.org/10.1007/978-3-030-41702-4_14}, researchr = {https://researchr.org/publication/DejonCVAM19}, cites = {0}, citedby = {0}, pages = {223-239}, booktitle = {Information Security Theory and Practice - 13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 11-12, 2019, Proceedings}, editor = {Maryline Laurent and Thanassis Giannetsos}, volume = {12024}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-41702-4}, }