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 |