SBA Research is a research center for Information Security funded partly by the national initiative for COMET Competence Centers for Excellent Technologies. Within a network of more than 70 companies, 15 Austrian and international universities and research institutions, and many additional international research partners we jointly work on research challenges ranging from organizational to technical security to strengthen Europe’s Cybersecurity capabilities.
ISIS @ TU Wien IAIK @ TU Graz DKE @ Uni Wien NM @ WU Wien FH St. Pölten AIT


Paper accepted @ ISIT 2016

The paper “’Weight Distribution of the Syndrome of Linear Codes and Connections to Combinatorial Designs” by Christoph Pacher (AIT), Philipp Grabenweger (AIT) and Dimitris Simos (SBA Research) has been accepted for publication in the 2016 IEEE International Symposium on Information Theory (ISIT)  which takes place from July, 10th-15th, 2016 in Barcelona, Spain. ISIT is one of the main venues for Information Theory.

Abstract: The expectation and the variance of the syndrome weight distribution of linear codes after transmission of codewords through a binary symmetric channel is derived exactly in closed form as functions of the code’s parity-check matrix and of the degree distributions of the associated Tanner graph. The influence of (check) regularity of the Tanner graph is studied. Special attention is payed to Tanner graphs that have no cycles of length four. We further study the equivalence of some classes of combinatorial designs and important classes of LDPC codes and apply our general results to those more specific structures. Simulations are performed to show the validity of the theoretical approach.

Dimitris Simos @ Research Institute for Symbolic Computation (RISC), Linz

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 in coding theory, cryptology, networking and computer science. Combinatorial designs are the branch of discrete mathematics dealing with the study of sets and their elements that exhibit certain intersection properties. Various classes of combinatorial designs, such as block designs or geometric t-designs over finite fields, appear in various disguises in cryptology, error correcting codes, and the theory of algorithms. Yet, applications of combinatorial designs to computer science continue to arise, and it comes as no surprise that in particular the field of information security provides a rich source of problems that seek solutions (also) from discrete mathematics.

In this talk, we will consider a number of research challenges coming from information security, where the interaction with discrete mathematics, and in particular combinatorial designs, is substantial.

  • The problem of efficient test generation when software or hardware defects that can trigger security vulnerabilities depend on a small number of parameters is in general NP-hard.  Therefore, seeking theoretical and algorithmic solutions to this problem from the field of discrete mathematics is a challenging task.
  • The challenge of deriving accurate models of software systems and designing efficient security testing methods considerably reducing the amount of resources needed—with mathematical levels of trustworthiness in the evaluation results.
  • Novel research efforts in discrete mathematics are also needed w.r.t. theoretical computer virology and concern the problem of characterization and detection of unforeseen families of computer viruses.

For each one of the previous challenges, asides discussing past work of ours we will highlight the most important open research problems and bridge discrete mathematics with symbolic computation and rewriting techniques, where applicable.

nimbusec GmbH presented in TV spot “oö Exportchampions”

Nimbusec GmbH is introduced in a TV spot in the ORF series “oö Exportchampions”. In this series the Export Center OÖ is introducing 52 Austrian “export companies”. Nimbusec GmbH is part of the SBA Research Accelerator Program.

The full TV spot can be found here.

By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.