Marino Miculan

Disce, sed a doctis, indoctos ipse doceto.

prof_pic.jpg

I am Full Professor of Computer Science at the Department of Mathematics, Computer Science and Physics of the University of Udine.

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, as well as my full CV.

My current research focuses on ensuring the security and trustworthiness of distributed, component-based, and smart systems. These interconnected systems involve numerous heterogeneous components, possibly AI-based, 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 MADS laboratory (which includes 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)

Oct 16, 2026 Paper on reliable decision loops published in ISoLA 2026 proceedings
Oct 15, 2026 Talk at "I Nuovi Equilibri Globali" in Casarsa della Delizia
Sep 22, 2026 Paper on certified flow logic for KLAIM published in JLAMP
Sep 19, 2026 Paper on Policy Automata published in ICTCS 2026 proceedings
Sep 14, 2026 Matteo Paier defended his PhD thesis

selected publications (more)

  1. Miculan, M. (2026). KLAIM, Certified: Mechanising Flow Logic for Tuple-Space Coordination. Journal of Logical and Algebraic Methods in Programming, 101179.
  2. Paier, M., Van Eeden, R. L. G., & Miculan, M. (2026). Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis. Software and Systems Modeling.
  3. Baldo, M., Di Gianantonio, P., Paier, M., & Miculan, M. (2026). Strobilus: Enriching Cedar with Stateful Policies. Proceedings of the 31st ACM Symposium on Access Control Models and Technologies (SACMAT ’26), 205–216.
  4. Pasqua, M., & Miculan, M. (2023). AbU: A calculus for distributed event-driven programming with attribute-based interaction. Theoretical Computer Science, 958, 113841.
  5. Miculan, M., & Vitacolonna, N. (2023). Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model. Computers & Security, 103072.