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 |