Our two papers presented at ITASEC 2026 are now published in the proceedings (CEUR-WS, Vol. 4198):

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