| Apr 8, 2024 | I am attending ITASEC 2024 from April 9th to 11th. We’ll be presenting three papers, and I am also honored to be chairing Scientific & Technical Session #3.1 - Software security and formal methods. Don’t miss it! |
| Mar 29, 2024 | Our paper Behavioral Equivalences for AbU: Verifying Security and Safety in Distributed IoT Systems has been published on Theoretical Computer Science. Happy Easter! 🐣🐰 |
| Mar 28, 2024 | I am honored to serve on the Program Committee of the first Edition of Formal Methods cross Spatial Logics, a new workshop of the International Symposium on Formal Methods (FM 2024). |
| Mar 20, 2024 | "Triplete" at ITASEC 2024! |
| Mar 18, 2024 | I am attending the first Workshop on Process Theory for Security Protocols and Cryptography, in Tallinn, Estonia. |
| Mar 12, 2024 | Our research group welcomes categorical logic expert Matteo Spadetto |
| Mar 11, 2024 | MadrHacks 🐍 have maxed vikeCTF 2024 |
| Mar 10, 2024 | I am honored to serve as Opponent on Marco Lucchese’s PhD Defence Committee, at the University of Verona. |
| Feb 28, 2024 | I am honored to serve on the Program Committee of GCM 2024. |
| Feb 2, 2024 | Attending the Theory Days 2024 Research Seminar |
| Jan 27, 2024 | I am honored to serve on the Program Committee of PPDP 2024. |
| Jan 10, 2024 | I am honored to serve as Opponent on Chad Nester’s PhD Defence Committee, at the Tallinn University of Technology. |
| Dec 22, 2023 | I am honored to serve on the Program Committee of DLT 2024. |
| Dec 16, 2023 | I am honored to serve on the Program Committee of ITASEC 2024. |
| Dec 14, 2023 | More than 150 participants at the HighSchools CTF at UniUD |
| Dec 11, 2023 | snakeCTF 2023 🐍 ended! |
| 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 |
| Nov 10, 2023 | FortiOS - IPS Engine evasion using custom TCP flags (CVE-2023-40718) |
| 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 |