Marko Horvat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2009–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CCS | A Comprehensive Symbolic Analysis of TLS 1.3. | Cas Cremers, Marko Horvat, Jonathan Hoyland, Sam Scott, Thyla van der Merwe |
| 2016 | SP | Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication. | Cas Cremers, Marko Horvat, Sam Scott, Thyla van der Merwe |
| 2012 | KES | WNtags: A Web-Based Tool For Image Labeling And Retrieval With Lexical Ontologies. | Marko Horvat, Anton Grbin, Gordan Gledec |
| 2009 | HCI | Real-Time Emotional State Estimator for Adaptive Virtual Reality Stimulation. | Davor Kukolja, Sinisa Popovic, Branimir Dropuljic, Marko Horvat, Kresimir Cosic |
| 2009 | ICCCI | Assessing Semantic Quality of Web Directory Structure. | Marko Horvat, Gordan Gledec, Nikola Bogunovic |
| 2009 | ICSoft | Decision Support Systems in Ontology-based Construction of Web Directories. | Marko Horvat, Gordan Gledec, Nikola Bogunovic |