ASTo: A tool for security analysis of IoT systems.

Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil A. Panaousis

Browse the full SERA paper archive.