Category: Research Activities

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.

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.