Category: Research Activities

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.

Dimitris E. Simos joined the NIST Cryptographic Module Validation Programme and will contribute to the software module testing group. The main goals of the programme are to research and identify best practices for crypto module testing as well as write specifications for automated testing.

Dimitris Simos is invited to Johannes Kepler University (JKU) Linz on 4 April 2016 to give a colloquium talk at the Research Institute for Symbolic Computation (RISC) in Hagenberg. Colloquium announcement see here. Title: Information Security through Combinatorial Designs and Symbolic Computation: Recent Results and Challenges Ahead Abstract: In last 50 years, combinatorial designs have had profound applications…

The ITEA2-project DIAMONDS (“Development and Industrial Application of Multi-Domain Security Testing Technologies”) has been selected as winner of the prestigious EUREKA Innovation Award 2015/2016 in the category ‘Added Value’. MATRIS Research Group of SBA Research participated in this ITEA2-action via the Bridge –project MoBseTIP (“Model-Based Security Testing In Practice”), in which Dimitris Simos served as project leader.

Dimitris Simos is invited to University of Texas at Dallas (UTD), Texas, USA on 25 September 2015 to give a colloquium talk at the computer science department which will be held in Conjunction with the IEEE Reliability Society Fall 2015 Student Outreach. The event is organized by Prof. Eric Wong. Title: Combinatorial Security Testing: Improving…

Dimitris E. Simos is invited to National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA during 21-22 September, 2015. The purpose of the visit is two-fold. He will present recent advances on combinatorial security testing to the applied and computational mathematics division seminar series and discuss common research interests with the ACTS/NIST project team. Seminar…

The ITEA2-project DIAMONDS (“Development and Industrial Application of Multi-Domain Security Testing Technologies”) has been selected as winner of the prestigious EUREKA Innovation Award 2015/2016 in the category ‘Added Value’. MATRIS Research Group of SBA Research participated in this ITEA2-action via the Bridge – project MoBseTIP (“Model-Based Security Testing In Practice”), in which Dimitris Simos served as project leader.