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.

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 17, 2026 My paper Reliable Decision Loops in Socio-Technical Collective Adaptive Systems has been accepted in the REoCAS track of ISOLA 2026.
Jun 9, 2026 Local Award Ceremony of CyberChallenge.IT 2026
May 26, 2026 Our paper Experimental Evaluation of Lightweight Encryption Algorithms on 16-bit Microcontrollers has been accepted at SECRYPT 2026.
May 22, 2026 Our paper (with artifact!) Strobilus: Enriching Cedar with Stateful Policies, has been accepted at SACMAT 2026.
May 18, 2026 Our paper Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis has been published on Software and Systems Modeling.

selected publications (more)

  1. 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.
  2. 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), 1–12.
  3. Castelnovo, D., & Miculan, M. (2025). On the Axioms of 𝓜,𝓝-Adhesive Categories. Logical Methods in Computer Science, 21(1).
  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.