Marino Miculan

prof_pic.jpg
(Ph.: G.T.Bernardi)

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 research, including my publications, the scientific projects and events I am involved in, my teaching activities and academic services.

Currently, I am mostly interested in security issues of distributed, component-based and smart systems, whose overall behavior is determined by the interaction of many heterogeneous entities. To this end, I am applying formal methods (possibly with a pinch of Machine Learning) to define new models, languages, methodologies and techniques for the formalisation, verification and certification of security properties 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)

Mar 20, 2024 "Triplete" at ITASEC 2024!
Mar 18, 2024 I am attending the first Workshop on Process Theory for Security Protocols and Cryptography, in Tallinn, Estonia.
Mar 12, 2024 Our research group welcomes categorical logic expert Matteo Spadetto
Mar 11, 2024 MadrHacks 🐍 have maxed vikeCTF 2024
Mar 10, 2024 I am honored to serve as Opponent on Marco Lucchese’s PhD Defence Committee, at the University of Verona.

selected publications (more)

  1. Castelnovo, D., Gadducci, F., & Miculan, M. (2024). A simple criterion for 𝓜,𝓝-adhesivity. Theoretical Computer Science, 982, 114280. https://doi.org/10.1016/j.tcs.2023.114280
  2. 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
  3. 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
  4. 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
  5. Chiapperini, A., Miculan, M., & Peressotti, M. (2022). Computing (optimal) embeddings of directed bigraphs. Sci. Comput. Program., 221, 102842. https://doi.org/10.1016/j.scico.2022.102842