Dear all,

we have submitted a research paper entitled "Automated Security Analysis of IoT Software Updates" that has been accepted in the 13th WISTP International Conference on Information Security Theory and Practice (http://www.wistp.org/program/).

The paper presents a new automated software analysis framework for systematically verifying the security of IoT applications contained in software updates w.r.t. a given security policy.

Therefore, this paper is in line with WP6 and, in particular, with Task 6.1 on Securing Operating System Software.

Please find the prefinal version of our paper attached to this email. 

If the dissemination committee raises no objections, we would like to acknowledge the SPARTA project.

Best regards,

Luca Verderame