news

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 🐍 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