O djelatniku

doc. dr. sc. Marko Horvat

Zvanje: docent
Lokacija: A306
Telefon:5897
E-mail: E-mail
Zavod/služba: Zavod za matematičku logiku i računarstvo

Nastava

diplomski

doktorski

Konzultacije

Srijeda, 10-12 (obavezna najava mejlom)

Objavljeni radovi u Hrvatskoj znanstvenoj bibliografiji

Formal Security Analysis of the AMD SEV-SNP Software Interface

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

Computable subcontinua of semicomputable chainable Hausdorff continua

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

Computability of pseudo-cubes

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

Rearranging absolutely covergent well-ordered series in Banach spaces

Čačić, Vedran ; Doko, Marko ; Horvat, Marko
izvorni znanstveni rad, 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
izvorni znanstveni rad, CCS '17: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017.

Testing Cyber-Physical Systems through Bayesian Optimization

Deshmukh, Jyotirmoy ; Horvat, Marko ; Jin, Xiaoqing ; Majumdar, Rupak ; Prabhu, Vinayak S.
izvorni znanstveni rad, ACM Transactions on Embedded Computing Systems, 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
izvorni znanstveni rad, 2016.

Improving the ISO/IEC 11770 standard for key management techniques

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

Actor Key Compromise: Consequences and Countermeasures

Basin, David ; Cremers, Cas ; Horvat, Marko
izvorni znanstveni rad, 2014.

Improving the ISO/IEC 11770 Standard for Key Management Techniques

Cremers, Cas ; Horvat, Marko
izvorni znanstveni rad, Security Standardisation Research.SSR 2014. Lecture Notes in Computer Science, vol 8893, 2014.
Lecture notes in computer science

Changing the order of summation for series beyond omega

Čačić, Vedran ; Doko, Marko ; Horvat, Marko ; Vrgoč, Domagoj
sažetak izlaganja sa skupa, The Bulletin of Symbolic Logic, 2010.
Detaljno o radovima

O vanjskom suradniku

doc. dr. sc. Marko Horvat

Zvanje: docent
E-mail:
Zavod/služba: Prirodoslovno-matematički fakultet

Objavljeni radovi u Hrvatskoj znanstvenoj bibliografiji

Pretraži Hrvatsku znanstvenu bibliografiju – CRORIS

Portfoliji Djelatnika

E-mail:
Zavod/služba: