Category: Research Activities

Kristoffer successfully defended his master’s thesis “Efficient Algorithms and Tools for Practical Combinatorial Testing” advised by Dimitris E. Simos, at the Faculty of Informatics of TU Vienna. Kristoffer gave an excellent presentation and graduated with distinction.

Dimitris E. Simos (MATRIS Research Group – SBA Research) and Rick Kuhn (NIST) are presenting a crash course on combinatorial security testing at the Symposium and Bootcamp for Hot Topics in the Science of Security (HotSoS ’18). The event takes place at Raleigh, NC, USA and is sponsored by the NSA in cooperation with ACM SIGSAC.

Ludwig successfully defended his Master Thesis “Combinatorial and Algorithmic Constructions of Covering Arrays” advised by Dimitris E. Simos, at the Faculty of Mathematics and Geoinformation of TU Vienna. Ludwig gave an excellent presentation and graduated with distinction.

At the 13th Haifa Verification Conference [HVC], Bernhard Garn was presenting a tool demo [KERIS] for the accepted paper “KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities” (Bernhard Garn, Fabian Würfl, and Dimitris E. Simos). HVC is organized by IBM Research Haifa.

Dimitris E. Simos is invited to give a colloquium talk at the University of Bergamo, Italy regarding “combinatorial methods and algorithms in security testing”.

Dimitris Simos highlight the great need to ensure an attack-free environment of software implementations by giving a talk about “Improving the Quality Assurance of Secure Software through Combinatorial Methods” at the Faculty of Informatics at TU Wien. The Abstract can be found here.

The paper “Coveringcerts: Combinatorial Methods for X.509 Certificate Testing” by Kristoffer Kleine and Dimitris Simos has been accepted for publication in the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). ICST is one of the leading conferences for software testing and validation. The results of this work establish a new application…

Ludwig Kampel presents the paper „Set-based Algorithms for Combinatorial Test Set Generation” (joint work with Dimitris E. Simos) at ICTSS 2016 taking place October 17 – 19 2016, in Graz. This paper proposes a modular algorithmic framework for the generation of covering arrays based on the notion of independent family of sets (IFS). Experimental results reported compare…

Kristoffer Kleine and Bernhard Garn presented the paper „A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing” at ICTSS 2016 taking place October 17 – 19 2016, in Graz. This work is a joint contribution between SBA Research (Dimitris E. Simos, Kristoffer Kleine  and Bernhard Garn) with the University of Texas at…

Dimitris E. Simos is invited to the Graz University of Technology on 20 June 2016 to give a colloquium talk “Combinatorial Methods for Quality Assurance of Secure Software: Recent Results and Challenges Ahead” at the Institute for Software Technology in Graz. The Abstract can be found here.