Two our papers have been accepted at ITASEC 2026:

• A Self-Adaptive Neural Network for Continuous Intrusion Detection in Dynamic Environments, by DG Ejeh, GL Foresti, M Miculan and A De Nardin
• Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling, by C Coppo, F Longo, G Merlino, A Puliafito and M Miculan

Looking forward to this conference in Cagliari!