Marko Horvat

A Comprehensive Symbolic Analysis of TLS 1.3

Cas Cremers, Marko Horvat, Jonathan Hoyland et al. · 2017 · 183 citations

Computing, Computer Science, Information Technology +16

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

Cas Cremers, Marko Horvat, Sam Scott et al. · 2016 · 103 citations

Computing, Computer Science, Computer Systems +17

Characterization of the Nencki Affective Picture System by discrete emotional categories (NAPS BE)

Monika Riegel, Łukasz Żurawski, Małgorzata Wierzba et al. · Behavior Research Methods · 2015 · 101 citations · Full text

Nursing, Behavioral Sciences, Psychology +12

Comparative analysis of emotion estimation methods based on physiological measurements for real-time applications

Davor Kukolja, Siniša Popović, Marko Horvat et al. · International Journal of Human-Computer Studies · 2014 · 66 citations

Education, Physiology, Biomedical Signal Processing +16

Physiology-Driven Adaptive Virtual Reality Stimulation for Prevention and Treatment of Stress Related Disorders

Krešimir Ćosić, Siniša Popović, Davor Kukolja et al. · Cyberpsychology Behavior and Social Networking · 2010 · 66 citations

Computing, Behavioral Sciences, Psychophysiology +7