TY  - RPRT
TI  - Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)
AU  - Lorenzo Ceragioli
AU  - Letterio Galletta
AU  - Edoardo Lunati
PY  - 2026
UR  - https://arxiv.org/abs/2607.28088
ID  - 2607.28088
ER  -