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 -- Luca Verderame ************************************************* Computer Security Lab DIBRIS - University of Genova Via Dodecaneso, 35, 16146, Genova, Italy. ************************************************** -- The information transmitted is intended for the person or entity to which it is addressed and may contain confidential and/or privileged material. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon, this information by persons or entities other than the intended recipient is prohibited. If you received this in error, please contact the sender and delete the material from any computer.