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 CTFtime.org |
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 |