| 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 |