Marino Miculan
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 and events I am involved in, my teaching activities and my academic services.
My current research focuses on ensuring security and trustworthiness of distributed, component-based, and smart systems. These systems involve intricate interactions of numerous heterogeneous components, making their behavior complex to analyze. To address this challenge, I leverage formal methods (potentially with a pinch of machine learning) to develop novel models, languages, methodologies, and verification techniques to specify, analyze and ensure the security and trustworthiness of these systems. Sounds interesting? drop me a note.
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)
| Feb 19, 2025 | I am honored to serve on the Program Committee of SeRIM 2025. |
|---|---|
| Feb 18, 2025 | I am honored to serve on the Program Committee of DLT 2025. |
| Feb 17, 2025 | Our paper On the Axioms of 𝓜,𝓝-Adhesive Categories has been accepted for publication on Logical Methods in Computer Science. |
| Feb 10, 2025 | I am honored to serve as Research Delegate of the Department of Mathematics, Computer Science and Physics for the period 02/2025 - 09/2027. |
| Feb 3, 2025 | From February 4th to 7th I am attending ITASEC 2025 in Bologna, where we’ll be presenting two papers. |
selected publications (more)
- Paier, Matteo ; Van Eeden, Roberto ; Miculan, Marino: Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. In: Madeira, A. ; Knapp, A. (eds.): International Conference on Software Engineering and Formal Methods, SEFM 2024 : Springer, 2024. — Best Paper Award — ISBN 978-3-031-77382-2, pp. 423–440
- Pasqua, Michele ; Miculan, Marino: Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. In: Theoretical Computer Science vols. 998 (2024), p. 114537
- Pasqua, Michele ; Miculan, Marino: AbU: A calculus for distributed event-driven programming with attribute-based interaction. In: Theoretical Computer Science vols. 958 (2023), p. 113841
- Miculan, Marino ; Vitacolonna, Nicola: Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model. In: Computers & Security (2023), p. 103072
- Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro: Composable partial multiparty session types for open systems. In: Software and Systems Modeling, Springer (2023), Nr. 22, pp. 473–494