A Survey on Applications of Formal Methods in Analysis of SCADA Systems. - Mihael Marovic; Ante Derek; Stjepan Gros (CRITIS, 2021)

Detecting network applications using firewall logs. - Adrian Komadina; Mihael Marovic; Stjepan Gros (MIPRO, 2022)

Predicting Vulnerabilities in Web Applications Based on Website Security Model. - Ivan Kovacevic; Mihael Marovic; Stjepan Gros; Marin Vukovic (SoftCOM, 2022)