news

Jun 4, 2023 MadrHacks have maxed the DanteCTF 🐍
May 24, 2023 Talk about "Behavioral Equivalences for AbU: Verifying Security and Safety in Distributed IoT Systems" at IMT, Lucca
May 23, 2023 Talk about "Bigraphical models for Container-based Systems" at DI, UniPI
May 5, 2023 I am honored to serve on the Program Committee of IEEE SBAC-PAD 2023.
May 3, 2023 I am chairing the Encryption and Formal Methods session of the Scientific Track at ITASEC 2023.
Apr 17, 2023 Our paper Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System has been accepted for the track AI for Cybersecurity of Ital-IA 2023.
Apr 8, 2023 Our paper Modelling Carne PRI supply chain with the *-Chain Platform has been accepted for the proceedings of DLT 2023. Happy Easter! 🐣🐰
Apr 5, 2023 Our paper AbU: A Calculus for Distributed Event-driven Programming with Attribute-based Interaction has been published on Theoretical Computer Science.
Mar 29, 2023 Our paper DBCChecker: a bigraph-based tool for checking security properties of container compositions has been accepted for the proceedings of ITASEC 2023.
Mar 23, 2023 Participation to "La Universitât dal Friûl tal teritori" on Radio Onde Furlane
Feb 9, 2023 Participation to EconoMY FVG on Telefriuli
Jan 16, 2023 I am honored to serve on the Program Committee of GCM 2023.
Jan 13, 2023 Research fellowship available - deadline Jan 26, 2023
Jan 1, 2023 The PNRR "SERICS" starts
Dec 23, 2022 Our paper Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model has been published on Computers & Security. Merry Christmas! 🎅🎄
Dec 16, 2022 Our paper The AbU Language: IoT Distributed Programming Made Easy has been published on IEEE Access.
Nov 29, 2022 I am honored to serve on the Program Committee of ITASEC 2023.
Nov 22, 2022 Two papers published on the Proceedings of ICTCS 2022
Nov 14, 2022 I am honored to serve on the Program Committee of DLT 2023.
Sep 28, 2022 Our paper Composable partial multiparty session types for open systems has been published on Software and Systems Modeling.
Sep 16, 2022 Lord of the Orings (CVE-2022-3203)
Sep 1, 2022 Our paper Computing (Optimal) Embeddings of Directed Bigraphs has been published on Science of Computer Programming.
Jun 30, 2022 Two papers accepted at ICTCS 2022