IoTSeer is a security service for IoT deployments, which identifies vulnerabilities that arise from the physical interactions of IoT apps.
To run IoTSeer, please first install STaliro toolbox by following the instructions at https://sites.google.com/a/asu.edu/s-taliro/s-taliro/download. You can find STaliro in Dependencies/trunk folder.