Category: Research Activities
Bernhard Garn successfully defended his Master Thesis
Bernhard Garn successfully defended his Master Thesis “Algebraic Methods for Experimental Design Theory” advised by Dimitris E. Simos at the Faculty of Mathematics and Geoinformation of TU Vienna. Bernhard gave an excellent presentation.
MATRIS Research Group, NIST and Adobe @ IWCT 2019
An ambitious research collaboration between the MATRIS Research Group of SBA Research (Dimitris E. Simos, Ludwig Kampel, Manuel Leithner, Bernhard Garn), NIST (Rick Kuhn, Raghu Kacker) and Adobe (Riley Smith, Darryl Jarman, Jared Bellows, Gabe Gosney) resulted in two published papers (Measuring Combinatorial Coverage at Adobe, Applying Combinatorial Testing to Large-scale Data Processing at Adobe) in IWCT 2019. These two papers showcase successful […]
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
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.