SBA Research is a research center for Information Security funded partly by the national initiative for COMET Competence Centers for Excellent Technologies.
Johanna Ullrich finally got her PhD officially awarded sub auspiciis Praesidentis in presence of the Austrian president Dr. Alexander Van der Bellen. This type of promotion is the highest honor for achievement, and the laureates receive a gold ring from the president. The tradition dates back to the 17th… Read More
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… Read More
Today at the 13th Haifa Verification Conference [HVC] Dimitris Simos is invited to give a tutorial on Combinatorial Security Testing. HVC is organized by IBM Research Haifa. … Read More
Dimitris Simos is invited to the Faculty of Engineering, University of Bergamo, Italy from May 22 to June 5 as visiting scholar. The host is Prof. Angelo Gargantini.
Our paper ‘“I Have No Idea What I’m Doing” – On the Usability of Deploying HTTPS’ has been accepted for publication at the USENIX Security Symposium 2017, to take place in Vancouver this August. 85 out of 522 submissions (acceptance rate 16%) have been accepted. Kudos to Katharina and Willi!… Read More
On May 11, Edgar Weippl talks about research challenges and research methods in applied information security at the Eleventh IEEE International Conference on Research Challenges in Information Science (RCIS 2017) in Brighton, UK. Read More
Dimitris Simos gives a talk on “Coveringcerts: Combinatorial Methods for X.509 Certificate Testing”, a joint work with Kristoffer Kleine, on March 14, 2017 at the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). ICST 2017 takes place during March 13-18, 2017 in Tokyo, Japan at… Read More
Dimitris Simos chairs the Sixth International Workshop on Combinatorial Testing (IWCT 2017) on March 13, 2017. He is also giving a talk on “Combinatorial Methods for Modelling Composed Software Systems” (joint with Ludwig Kampel and Bernhard Garn). IWCT 2017 takes place in Tokyo, Japan and is collocated with… Read More
Last weekend, the SBA-supported CTF team “We_0wn_Y0u” (W0Y) of the TU Wien again showcased its outstanding capabilities. In the academic International Capture the Flag (iCTF) contest they secured the third place out of 78 participating universities worldwide in an 8-hour race. W0Y started receiving points late in the… Read More
A group of dedicated young researchers presented their work at the 22st ICT Security Conference on 16 and 17 September 2026, which was organized by the Austrian Armed Forces. ∞
A new paper, “Automated Reasoning for Indistinguishability in the CCSA,” co-authored by Laura Kovács, key researcher at SBA Research and full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), and Matteo Maffei, key researcher at SBA Research and Professor at TU Wien, has been accepted for presentation at the 33rd ACM Conference on Computer and Communications Security (CCS). ∞
The 21th International Conference on Availability, Reliability, and Security (ARES 2026) took center stage in Linköping, Sweden, from August 24 - 27, 2026, offering a platform for experts and enthusiasts to explore the latest developments in the field. The conference was jointly organised by Linköpings universitet (LiU) and SBA Research. ∞