Marko Horvat : Publications

Click here to download all publications in a single bibtex file

@article{CH2015,
  title = "Improving the ISO/IEC 11770 standard for key management techniques",
  author = "Cremers, Cas and Horvat, Marko",
  year = "2015",
  issn = "1615-5262",
  journal = "International Journal of Information Security",
  keywords = "Formal analysis; ISO; Protocol standards; Security protocols",
  language = "English",
  pages = "1-15",
  publisher = "Springer Berlin Heidelberg",
  url = "http://dx.doi.org/10.1007/s10207-015-0306-9",
  doi = "10.1007/s10207-015-0306-9",
}

@inproceedings{CH2014,
  title = "{Improving the ISO/IEC 11770 Standard for Key Management Techniques}",
  author = "Cremers, Cas and Horvat, Marko",
  year = "2014",
  booktitle = "Security Standardisation Research (SSR)",
  pages = "215-235",
  doi = "10.1007/978-3-319-14054-4_13",
}

@inproceedings{BCH2014,
  title = "{Actor Key Compromise: Consequences and Countermeasures}",
  author = "Basin, David and Cremers, Cas and Horvat, Marko",
  year = "2014",
  booktitle = "Computer Security Foundations Symposium (CSF), 27th IEEE",
  pages = "244-258",
  doi = "10.1109/CSF.2014.25",
}