Marko Horvat

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

Interpretacija programa (252478) - Nositelj
Kontraprimjeri u topologiji (239808) - Nositelj
Matematička logika u računarstvu (61527) - Nositelj, Auditorne vježbe
Podatkovno inženjerstvo (274975) - Nositelj
Podatkovno inženjerstvo (274976) - Nositelj
Diplomski rad (61613) - Seminar

doktorski

Matematička logika i računarstvo (233147) - Nositelj

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.

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

Actor Key Compromise: Consequences and Countermeasures

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

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:

Tražilica

O djelatniku

doc. dr. sc. Marko Horvat

Nastava

Konzultacije

Objavljeni radovi u Hrvatskoj znanstvenoj bibliografiji

Detaljno o radovima

O vanjskom suradniku

doc. dr. sc. Marko Horvat

Objavljeni radovi u Hrvatskoj znanstvenoj bibliografiji

Portfoliji Djelatnika

PRIRODOSLOVNO-MATEMATIČKI FAKULTET