Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)

arXiv:2607.28088 · cs.CR, cs.LO, cs.SE · Submitted 2026-07-30 · Read on arXiv

Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati

cs.CR, cs.LO, cs.SE

Submitted: 2026-07-30

Code: https://github.com/edoxthebest/IoTPoker

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Trace — 26× in this paper · explained in 2 episodes
Core — 22× in this paper · explained in 2 episodes
Verification — 16× in this paper · explained in 2 episodes
SMT solver — 12× in this paper · explained in 2 episodes
Benchmark — 5× in this paper · explained in 2 episodes
Consistency — 5× in this paper · explained in 3 episodes
Verifier — 4× in this paper · explained in 2 episodes
Amazon Web Services — 2× in this paper
Analyzer — 2× in this paper · explained in 1 episode
Formal Methods — 2× in this paper · explained in 3 episodes
Amazon Resource Name — 1× in this paper
Formal Verification — 1× in this paper · explained in 2 episodes
Graph Construction — 1× in this paper · explained in 3 episodes
Message Queuing Telemetry Transport — 1× in this paper
Robustness — 1× in this paper · explained in 5 episodes

Related papers