Research Interests
His research focuses on security testing of software and protocols. He is especially interested in the application of combinatorial methods to those domains.
Bio
Kristoffer is currently working towards his bachelor’s degree for Software and Information Engineering at the TU Wien.
Publications
-
Planning-based Security Testing of the SSL/TLS Protocol (2017)
- Workshop on Advances in Model Based Testing (A-MOST)
@INPROCEEDINGS{Bozic2017Planningbased,
author = {Josip Bozic and K. Kleine and Dimitris Simos and Franz Wotawa},
title = {Planning-based Security Testing of the SSL/TLS Protocol},
booktitle = {Workshop on Advances in Model Based Testing (A-MOST)},
year = {2017},
month = {3},
} -
Coveringcerts: Combinatorial Methods for X.509 Certificate Testing (2017)
- International Conference on Software Testing, Verification and Validation (ICST)
@INPROCEEDINGS{Kleine2017Coveringcerts,
author = {K. Kleine and Dimitris Simos},
title = {Coveringcerts: Combinatorial Methods for X.509 Certificate Testing},
booktitle = {International Conference on Software Testing,
Verification and Validation (ICST)},
year = {2017},
month = {3},
} -
An Efficient Design and Implementation of the in-parameter-order-algorithm (2017)
- Mathematics in Computer Science
@ARTICLE{Kleine2017Efficient,
author = {K. Kleine and Dimitris Simos},
title = {An Efficient Design and Implementation of the in-parameter-order-algorithm},
journal = {Mathematics in Computer Science},
year = {2017},
month = {12},
pdf = {https://link.springer.com/article/10.1007/s11786-017-0326-0},
} -
TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach (2016)
- 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016)
@INPROCEEDINGS{Simos2016Cipher,
author = {Dimitris Simos and K. Kleine and {Artemios G.} Voyiatzis and R. Kuhn and R. Kacker},
title = {TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach},
booktitle = {2016 IEEE International Conference on Software Quality,
Reliability and Security (QRS 2016)},
year = {2016},
month = {8},
pdf = {TLS-CCM-QRS2016.pdf},
} -
Testing TLS using planning-based combinatorial methods and execution framework (2019)
- Software Quality Journal
@ARTICLE{Simos2019Testing,
author = {Dimitris Simos and Josip Bozic and Bernhard Garn and Manuel Leithner and Feng Duan and K. Kleine and Yu Lei and Franz Wotawa},
title = {Testing TLS using planning-based combinatorial methods and execution framework},
journal = {Software Quality Journal},
year = {2019},
month = {6},
pdf = {https://link.springer.com/article/10.1007%2Fs11219-018-9412-z},
} -
Cagen: A fast combinatorial test generation tool with support for constraints and higher-index (2020)
- International Workshop on Combinatorial Testing (IWCT 2020)
@INPROCEEDINGS{Wagner2020Cagen,
author = {Michael Wagner and K. Kleine and Dimitris Simos and R. Kuhn and R. Kacker},
title = {Cagen: A fast combinatorial test generation tool with support for constraints and higher-index},
booktitle = {International Workshop on Combinatorial Testing (IWCT 2020)},
year = {2020},
month = {3},
}