Here you can find a list of current research topics available to students as bachelor or master’s theses. If you are interested, write us a mail with the desired topic to matris@sba-research.org. Our topics address both Computer Science students (working in theoretical and applied aspects, like algorithms and complexity, and software engineering, information security) and Math students (working primarily in areas of discrete mathematics and optimization).

Combinatorial Security Testing Topics

  • Combinatorial testing for hardware malware detection
    • Combinatorial Testing of Hardware Trojans Horses (HTH)
  • Linux kernel testing for security bugs
    • Sequence CAs for System Call Testing
  • Security protocol testing
    • SecFuzz: A CT Reverse Engineering Approach
    • AFL Model Extraction for CT
    • Mathematical modelling and analysis of protocol security vulnerabilities
  • Web application security testing
    • Generalized content-injections
    • Generation of security tests
  • Cryptographic Combinatorial Testing
    • Combinatorial Testing of Tor Network
    • Combinatorial Security Testing for PGP
    • Testing of PQC Implementations submitted to NIST Competition

Covering Arrays, Algorithms and Optimization Topics

  • Optimizations Algorithms for Combinatorial Testing
  • Discrete Structures for fault-localization in Combinatorial Testing
  • Complexity problems for discrete structures used in Security

Design Theory Framework for the Science of Security Topics

  • TODO

Current Students

Thesis Title: TODO
Degree: TODO

Student Alumni

Thesis title: On the Applicability of Secret-sharing Cryptography in Secure Cloud Services
Institution: Vienna University of Technology
Degree: MSc
Thesis title: Combinatorial Testing of the Linux Kernel with Applications to Computer Security
Institution: University of Applied Sciences FH Campus Wien
Degree: MSc
Thesis Title: Web Application Firewall Testing using Combinatorial Methods
Institution: Vienna University of Technology
Degree: BSc
Thesis Title: Design Theory Framework for Computer Security
Institution: Vienna University of Technology
Degree: PhD
Thesis Title: Algebraic Methods for Experimental Design Theory
Institution: Vienna University of Technology
Degree: MSc
Thesis Title: Combinatorial Matrix Theory and Software Testing
Institution: Vienna University of Technology
Degree: PhD
Thesis Title: Combinatorial and Algorithmic Constructions of Covering Arrays
Institution: Vienna University of Technology
Degree: MSc
Thesis Title: Browser Fingerprinting using TLS Sequences obtained via Combinatorial Methods
Institution: University of Applied Sciences
Degree: MSc
Thesis Title: Efficient Algorithms and Tools for Practical Combinatorial Testing
Institution: Vienna University of Technology
Degree: MSc
Thesis Title: XSS Vulnerability Testing for E-Mail Security using Combinatorial Methods
Institution: Vienna University of Technology
Degree: BSc
Thesis Title: Web Application Security Testing for SQL Injections using Combinatorial Methods
Institution: Vienna University of Technology
Degree: BSc
Thesis Title: Covering Array Generation Algorithms and Implementations
Institution: FH St. Polten
Degree: BSc