Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling. - Cristian Coppo; Francesco Longo 001; Giovanni Merlino; Antonio Puliafito; Marino Miculan (ITASEC/SERICS, 2026)