Cristian Coppo, Francesco Longo 0001, Giovanni Merlino, Antonio Puliafito, Marino Miculan. Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling. In Davide Maiorca, Pierangela Samarati, editors, Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2026), Cagliari, Italy, February 09-13, 2026. Volume 4198 of CEUR Workshop Proceedings, CEUR-WS.org, 2026. [doi]
Abstract is missing.