Complete profile
Marino MICULAN
- DMIF Dipartimento di scienze matematiche, informatiche e fisiche
- Professore Associato
- INFO-01/A Informatica
Curriculum vitae
Publications
Institutional duties
Research
Attualmente M. Miculan si interessa a problematiche di sicurezza informatica, in particolare relative ai sistemi concorrenti, comunicanti e componibili, in cui il comportamento del sistema complessivo viene determinato dall'interazione tra molte entità eterogenee. A questo scopo, M. Miculan sta applicando metodi formali, eventualmente integrando anche metodi dal Machine Learning, per definire nuove metodologie e tecniche, basate su solidi modelli semantici, per la formalizzazione, verifica e certificazione dele proprietà di sicurezza dei sistemi. Queste verifiche possono essere implementate staticamente, puntando ad eliminare le maggiori vulnerabilità by-design, o dinamicamente, mediando la sintesi di opportuni meccanismi di monitoraggio run-time.