Marino Miculan
![prof_pic.jpg](/assets/img/prof_pic.jpg)
Associate Professor of Computer Science and Deputy Head at 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. (Qualified to Full Professor since March 2018.)
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 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 formally analyze and ensure the security and trustworthiness of these systems.
If this sounds interesting to you too, drop me a note.
Besides, I know something about type theory, proof assistants, logical frameworks, nominal sets, category theory and logic, process calculi, coalgebras, structured operational semantics, session types, bigraphs, systems biology, distributed ledgers. (In a sense, I am a horizontal researcher.)
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)
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 |
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 |
selected publications (more)
- 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
- Castelnovo, Davide ; Gadducci, Fabio ; Miculan, Marino: A simple criterion for 𝓜,𝓝-adhesivity. In: Theoretical Computer Science vols. 982 (2024), p. 114280
- 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