news

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