Category: Research Activities

  • Dimitris E. Simos @ INRIA Paris

    Dimitris E. Simos is visiting INRIA Paris during 19 – 22 February. He is hosted by the project team SECRET.

  • Manuel Leithner @ WI2018

    Manuel Leithner (MATRIS Research Group) presented his paper titled “DOMdiff: Identification and Classification of Inter-DOM Modifications” (Joint work with Dimitris E. Simos) at the IEEE/WIC/ACM International Conference on Web Intelligence 2018 (WI2018), which took place in Santiago, Chile, from 2nd to 5th of December. The paper was published within the SecWIT project.

  • NIST Grant awarded to MATRIS Research Group

    Computer data breaches cost companies millions of dollars each year. When combined with the damage leaks of private information do to consumers, the total cost of security issues is even greater. Many systems, including blockchains and Internet of Things systems, are created secure at the design level. However, mistakes in their implementation of those systems…

  • Security Interaction Testing for IoT Systems and Blockchains

    The SENTINEL project aims to expand the horizons of combinatorial security testing by developing new methods for the challenging application-domains of Internet-of-Things (IoT) and Blockchains. The major research tasks include combinatorial sequence testing, case studies and related tool development. MATRIS Research Group of SBA Research is Project Co-Lead jointly with University of Texas at Arlington. Further Information Matris Research Group…

  • Kristoffer Kleine successfully defended his master’s thesis

    Bernhard Garn

    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.

  • CST Tutorial @ HotSoS 18, Raleigh, NC, USA

    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 Kampel successfully defended his Master Thesis

    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.

  • Bernhard Garn presenting tool demo at HVC

    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.

  • Colloquium Talk by Dimitris E. Simos @ University of Bergamo

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

  • Talk about “Improving the Quality Assurance of Secure Software through Combinatorial Methods”

    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.