Marino Miculan

Disce, sed a doctis, indoctos ipse doceto.

prof_pic.jpg

I am Professor of Computer Science at the Department of Mathematics, Computer Science and Physics of the University of Udine, with a second affiliation at the Department of Environmental Sciences, Informatics and Statistics of the Ca’ Foscari University of Venice.

This website collects some information about my current and past research, including my publications, the scientific projects I am involved in, my academic services and my teaching activities.

My current research focuses on ensuring the security and trustworthiness of distributed, component-based, and smart systems. These interconnected systems involve numerous heterogeneous components, which makes analyzing their behavior a complex challenge. To address this, I leverage formal methods to develop novel models, languages, methodologies, and verification techniques to specify, analyze, and ensure the security and trustworthiness of these systems. If this sounds interesting to you, feel free to reach out.

Besides, I know something about type theory, proof assistants, logical frameworks, nominal sets, category theory and categorical logic, process calculi, coalgebras, semantics, session types, bigraphs, distributed ledgers.

I founded and currently lead the Models and Applications of Distributed Systems laboratory, the Udine node of the CINI National CyberSecurity laboratory, and the MadrHacks, the ethical hacking team of the University of Udine.
I have the fortune to work with great people.

latest news (more)

Jun 26, 2025 From June 26th to 28th I am attending the Second Software and Platform Security Workshop of the SERICS project, at the Ca’ Foscari University of Venice, where I will talk about Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems.
Jun 16, 2025 From June 17th to 20th I am attending DisCoTec 2025 in Lille, where we present the paper Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems at FORTE 2025.
Jun 5, 2025 Local Award Ceremony of CyberChallenge.IT 2025
May 25, 2025 MadrHacks 🐍 on the podium of DaVinciCTF 2025
May 21, 2025 Talk about Cryptocurrencies "Frontiers of cyber-resilence: between safety and security"

selected publications (more)

  1. Castelnovo, D., & Miculan, M. (2025). On the Axioms of 𝓜,𝓝-Adhesive Categories. Logical Methods in Computer Science, 21(1). https://doi.org/10.46298/lmcs-21(1:22)2025
  2. Paier, M., Van Eeden, R., & Miculan, M. (2024). Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. In A. Madeira & A. Knapp (Eds.), International Conference on Software Engineering and Formal Methods, SEFM 2024 (pp. 423–440). Springer. https://doi.org/10.1007/978-3-031-77382-2_24
  3. Pasqua, M., & Miculan, M. (2023). AbU: A calculus for distributed event-driven programming with attribute-based interaction. Theoretical Computer Science, 958, 113841. https://doi.org/https://doi.org/10.1016/j.tcs.2023.113841
  4. Miculan, M., & Vitacolonna, N. (2023). Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model. Computers & Security, 103072. https://doi.org/10.1016/j.cose.2022.103072
  5. Stolze, C., Miculan, M., & Di Gianantonio, P. (2023). Composable partial multiparty session types for open systems. Software and Systems Modeling, 22, 473–494. https://doi.org/10.1007/s10270-022-01040-x