Automated Security Analysis of IoT Software Updates.

Nicolas Dejon, Davide Caputo, Luca Verderame, Alessandro Armando, Alessio Merlo

Browse the full WISTP paper archive.