| Dec 16, 2024 | Speaker at NECS 2025 PhD Winter School |
| Dec 9, 2024 | Visit and PhD Committee at IT University of Copenhagen |
| Dec 8, 2024 | SnakeCTF 2024 Finals: the Fight is Over! 🐍 |
| Dec 5, 2024 | SnakeCTF 2024 Finals: The Battle Begins! 🐍 |
| Nov 30, 2024 | Talk about Blockchain and Agrifood, at the Gra.MA.R. Final Event |
| Nov 14, 2024 | PRIN 2022 "STENDHAL" First Year meeting |
| Nov 7, 2024 | Our paper Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards has received the Best Paper Award at the 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)! 🏆🥇🎉 |
| Oct 26, 2024 | Attending ISOLA 2024 |
| Oct 23, 2024 | I am honored to serve on the Program Committee of TDI 2025. |
| Oct 16, 2024 | Our research group welcomes Massimiliano Baldo |
| Oct 9, 2024 | I am honored to be reconfirmed as Deputy Head of the Department of Mathematics, Computer Science and Physics for the period 10/2024 - 09/2027. |
| Oct 8, 2024 | I am honored to serve as Associate Editor for the Smart Contracts section of the journal Frontiers in Blockchain. |
| Oct 2, 2024 | Talks about Cyber Risk and Financial Systems, at "PN Trading Places" |
| Sep 26, 2024 | Today I am attending the workshop “Informazione, sicurezza e nuovi fattori di rischio” at Centro Alti Studi Difesa – Scuola Superiore Universitaria, in Rome. |
| Sep 20, 2024 | Talk about Blockchain and Agrifood, at the 4th Gra.MA.R. workshop |
| Sep 8, 2024 | SnakeCTF 2024 Quals has ended! 🐍 |
| Sep 6, 2024 | SnakeCTF 2024 is ready to start! 🐍 |
| Aug 26, 2024 | Our paper ECC’s Achilles’ Heel: Unveiling Weak Keys in Standardized Curves, published on the Proceedings of ITASEC 2024, has been accepted also to the Cryptology ePrint Archive of IACR. |
| Aug 23, 2024 | Our paper Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards has been accepted at the 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024). Moreover, the associated artifact has received both the Reusable and the Available badges of EAPLS! |
| Aug 10, 2024 | Research fellowship about “Secure composition of microservices: a formal approach with bigraphs, process algebras and temporal logics” - deadline Aug 26, 2024 |
| Aug 5, 2024 | I am honored to serve on the S&T Program Committee of ITASEC 2025. |
| Jul 31, 2024 | I have been cited in a report of the Neue Zürcher Zeitung about Telegram (in German). |
| Jul 10, 2024 | Our paper Local Reasoning and Attribute-based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems has been accepted at the 13th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). |
| Jul 6, 2024 | MadrHacks 🐍 have won the CyberCup 2024 |
| Jun 20, 2024 | Talk about DBCChecker at "Cloud Security Awareness Days", Rome |
| Jun 13, 2024 | Talk about "Enforcing Global Invariants with Local Reasoning in AbU CAS" at SWOPS2, Lucca |
| Jun 4, 2024 | Local Award Ceremony of CyberChallenge.IT 2024 |
| May 24, 2024 | Talk at "Maggio Scienza 2024" |
| May 24, 2024 | Talk at "Futuro Contemporaneo" |
| Apr 30, 2024 | I am honored to serve on the Program Committee of 36th IEEE/SBC International Symposium on Computer Architecture and High Performance Computing. |
| Apr 22, 2024 | Our paper A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP has been accepted at the 21st International Conference on Security and Cryptography (SECRYPT). |
| 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 |