Marko Horvat

About employee

doc. dr. sc. Marko Horvat

Title:	Assistant Professor
Location:	A306
Public phone number:	5897
E-mail:	E-mail
Department:	Zavod za matematičku logiku i računarstvo

Teaching

graduate

Counterexamples in topology (239808) - Lecturer in charge
Data engineering (274975) - Lecturer in charge
Data engineering (274976) - Lecturer in charge
Interpretation of computer programs (252478) - Lecturer in charge
Mathematical logic in computer science (61527) - Lecturer in charge

Published papers recorded in the Croatian Scientific Bibliography Database

Formal Security Analysis of the AMD SEV-SNP Software Interface

Paradžik, Petar; Derek, Ante; Horvat, Marko
2025.
Ieee transactions on dependable and secure computing

Computable subcontinua of semicomputable chainable Hausdorff continua

Čačić, Vedran ; Horvat, Marko ; Iljazović, Zvonko
2021.
Theoretical computer science

Computability of pseudo-cubes

Horvat, Marko ; Iljazović, Zvonko ; Pažek, Bojan
2020.
Annals of pure and applied logic

Rearranging absolutely covergent well-ordered series in Banach spaces

Čačić, Vedran ; Doko, Marko ; Horvat, Marko
2019.
Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti

A Comprehensive Symbolic Analysis of TLS 1.3

Cremers, Cas ; Horvat, Marko ; Hoyland, Jonathan ; Scott, Sam ; van der Merwe, Thyla
2017.

Testing Cyber-Physical Systems through Bayesian Optimization

Deshmukh, Jyotirmoy ; Horvat, Marko ; Jin, Xiaoqing ; Majumdar, Rupak ; Prabhu, Vinayak S.
2017.
ACM transactions on embedded computing systems

Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication

Cremers, Cas ; Horvat, Marko ; Scott, Sam ; van der Merwe, Thyla
2016.

Improving the ISO/IEC 11770 standard for key management techniques

Cremers, Cas ; Horvat, Marko
2015.
International Journal of Information Security

Actor Key Compromise: Consequences and Countermeasures

Basin, David ; Cremers, Cas ; Horvat, Marko
2014.

Improving the ISO/IEC 11770 Standard for Key Management Techniques

Cremers, Cas ; Horvat, Marko
2014.
Lecture notes in computer science

Changing the order of summation for series beyond omega

Čačić, Vedran ; Doko, Marko ; Horvat, Marko ; Vrgoč, Domagoj
2010.

Search

About employee

doc. dr. sc. Marko Horvat

Teaching

Published papers recorded in the Croatian Scientific Bibliography Database

More information about publications

FACULTY OF SCIENCE