ASTo: A Tool for Security Analysis of IoT SystemsOrestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil PanaousisLast updated on Nov 5, 2021PDF Cite Code Slides DOI