We stand with Ukraine  

Marko Horvat

Affiliations:
  • Max-Planck-Institut für Softwaresysteme, MPI-SWS, Germany
  • University of Oxford, Department of Computer Science, UK (PhD 2015)


According to our database1, Marko Horvat authored at least 6 papers between 2014 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Testing Cyber-Physical Systems through Bayesian Optimization.
[BibTeX]
[DOI]
Jyotirmoy V. Deshmukh
,
Marko Horvat
,
Xiaoqing Jin
,
Rupak Majumdar
,
Vinayak S. Prabhu
ACM Trans. Embed. Comput. Syst., 2017

A Comprehensive Symbolic Analysis of TLS 1.3.
[BibTeX]
[DOI]
Cas Cremers
,
Marko Horvat
,
Jonathan Hoyland
,
Sam Scott
,
Thyla van der Merwe
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication.
[BibTeX]
[DOI]
Cas Cremers
,
Marko Horvat
,
Sam Scott
,
Thyla van der Merwe
Proceedings of the IEEE Symposium on Security and Privacy, 2016

2015
Formal analysis of modern security protocols in current standards.
[BibTeX]
[DOI]
Marko Horvat
PhD thesis, 2015

2014
Improving the ISO/IEC 11770 Standard for Key Management Techniques.
[BibTeX]
[DOI]
Cas Cremers
,
Marko Horvat
Proceedings of the Security Standardisation Research - First International Conference, 2014

Actor Key Compromise: Consequences and Countermeasures.
[BibTeX]
[DOI]
David A. Basin
,
Cas Cremers
,
Marko Horvat
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014


  Loading...