CORTEXA
← Browse

Lorenzo Ceragioli

1 paper indexed

arxivcs.CRcs.LOcs.SE2026-07-30

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

Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati

Many cloud providers for IoT technologies offer access control mechanisms whose proper configuration is critical for security. However, verifying permissions in isolation is insufficient in a setting where devices have different levels of trust or are compartmentalised in various…

View free PDFSource page