SPLIT - Security Protocol Interaction Testing in Practice

Research output

Research output per year 2017 2017 2019 2019

• 3 Conference paper

Research output per year

Research output per year

Search results

• 2019

  Weighted Combinatorial Sequence Testing for the TLS Protocol

  Garn, B., Simos, D. E., Duan, F., Lei, Y., Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19). Institute of Electrical and Electronics Engineers

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2017

  Planning-Based Security Testing of the SSL/TLS Protocol

  Bozic, J., Kleine, K., Simos, D. E. & Wotawa, F., 2017, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Cryptographic Protocol 100%

• Testing TLS Using Combinatorial Methods and Execution Framework

  Simos, D. E., Bozic, J., Duan, F., Garn, B., Kleine, K., Lei, Y. & Wotawa, F., 2017, IFIP International Conference on Testing Software and Systems (ICTSS'17).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review