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

News

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.

SBA Research presents @ Euro S&P 2016

These days numerous researchers of SBA Research attend the first IEEE Euro S&P in Saarbrücken. The keynote will be held by Adi Shamir, you can find the full program online.

Robert Annessi will present our paper on Tor path simulations, you can find a preprint of the paper here. Additionally, the tools and obtained data set can be retrieved here.

Keynote by Adi Shamir

SBA at Euro S&P 2016

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.

Close