Dec 8, 2023 snakeCTF 2023 🐍 is ready to start!
Nov 18, 2023 Research fellowship about “Spatio-temporal logics: extensions for nominal quantification and hierarchical structures” - deadline Jan 12, 2024
Oct 31, 2023 Our paper A simple criterion for 𝓜,𝓝-adhesivity has been published on Theoretical Computer Science. It can be downloaded here for free until December 26, 2023. Spooky Halloween! 👻🎃🧛
Oct 27, 2023 Participation to "Gjal e copasse" on Radio Spazio
Oct 24, 2023 Attending (and giving a talk at) "SERICS SPOKE 6 First Software and Platform Security Workshop"
Oct 23, 2023 Participation to the Round Table of the "Digital Security Festival"
Oct 12, 2023 MadrHacks 🐍 have maxed the SunshineCTF
Oct 10, 2023 PRIN 2022 "STENDHAL" Kickoff meeting, at Dept. Computer Science, University of Pisa
Oct 8, 2023 Our paper "Exploiting maximum likelihood to improve network traffic deanonymization performances" has been published on SLJ
Oct 2, 2023 Davide Castelnovo defended his PhD thesis
Sep 21, 2023 Joint Meeting of CINI, in Naples
Sep 13, 2023 Attending ICTCS 2023 in Palermo
Aug 11, 2023 I am honored to serve as President of the Selection Committee for the Scientific Class of Scuola Superiore, the excellence school of the University of Udine.
Aug 4, 2023 Two 3-years positions at University of Venice, funded by PNRR "SERICS" (deadline: Aug 24, 2023)
Jul 21, 2023 I am honored to serve from today as Deputy Head of the Department of Mathematics, Computer Science and Physics.
Jul 19, 2023 Paper accepted at ICTCS 2023
Jul 11, 2023 PRIN 2017 "IT MATTERS" Final Workshop, at IMT Alti Studi, Lucca
Jun 28, 2023 I am chairing the Categories, Coalgebras and Concurrency Models session at OPCT 2023.
Jun 26, 2023 Attending the OPCT 2023 Research Seminar
Jun 16, 2023 Our PRIN Project "STENDHAL" has been approved! 🎉🧠
Jun 16, 2023 Local Award Ceremony of CyberChallenge.IT 2023
Jun 12, 2023 MadrHacks 🐍 are the top team in Italy on
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 presentation and 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
Jun 15, 2022 New website is online