Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Horvat, Marko ; Iljazović, Zvonko ; Pažek, Bojan
Computability of pseudo-cubes // Annals of pure and applied logic, 171 (2020), 8; 102823, 21. doi: 10.1016/j.apal.2020.102823
Čačić, Vedran ; Doko, Marko ; Horvat, Marko
Rearranging absolutely covergent well-ordered series in Banach spaces // Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, 23 (2019), 58; 1-11. doi: 10.21857/yq32oh4qd9
Deshmukh, Jyotirmoy ; Horvat, Marko ; Jin, Xiaoqing ; Majumdar, Rupak ; Prabhu, Vinayak S.
Testing Cyber-Physical Systems through Bayesian Optimization // ACM transactions on embedded computing systems, 16 (2017), 5s; 170, 18. doi: 10.1145/3126521
Cremers, Cas ; Horvat, Marko ; Hoyland, Jonathan ; Scott, Sam ; van der Merwe, Thyla
A Comprehensive Symbolic Analysis of TLS 1.3 // CCS '17: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. New York (NY): Association for Computing Machinery (ACM), 2017. str. 1773-1788 doi: 10.1145/3133956.3134063
Cremers, Cas ; Horvat, Marko ; Scott, Sam ; van der Merwe, Thyla
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. Institute of Electrical and Electronics Engineers (IEEE), 2016. str. 470-485 doi: 10.1109/sp.2016.35
Cremers, Cas ; Horvat, Marko
Improving the ISO/IEC 11770 standard for key management techniques // International Journal of Information Security, 15 (2015), 6; 659-673. doi: 10.1007/s10207-015-0306-9
Basin, David ; Cremers, Cas ; Horvat, Marko
Actor Key Compromise: Consequences and Countermeasures. Institute of Electrical and Electronics Engineers (IEEE), 2014. str. 244-258 doi: 10.1109/csf.2014.25
Cremers, Cas ; Horvat, Marko
Improving the ISO/IEC 11770 Standard for Key Management Techniques // Lecture notes in computer science / Chen, L. ; Mitchell, C. (ur.). 2014. str. 215-235 doi: 10.1007/978-3-319-14054-4_13
Čačić, Vedran ; Doko, Marko ; Horvat, Marko ; Vrgoč, Domagoj
Changing the order of summation for series beyond omega // The Bulletin of Symbolic Logic. ASL, 2010
