A Step Towards Checking Security in IoT
Chiara Bodei (Dipartimento di Informatica, Universit\`a di Pisa),, Pierpaolo Degano (Dipartimento di Informatica, Universit\`a di Pisa),, Gian-Luigi Ferrari (Dipartimento di Informatica, Universit\`a di Pisa),, Letterio Galletta (Dipartimento di Informatica, Universit\`a di Pisa)

TL;DR
This paper introduces an extension of IoT-LySa, a calculus for IoT systems, to facilitate static analysis aimed at verifying security properties like secrecy in IoT environments.
Contribution
It extends IoT-LySa with security-focused static analysis capabilities, enabling formal verification of security properties in IoT systems.
Findings
Initial framework for security verification in IoT systems
Extension of IoT-LySa calculus for security analysis
Foundation for future security property verification
Abstract
The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
