Floragasse 7 – 5th floor, 1040 Vienna
Subscribe to our Newsletter

SBA Research is a research center for Information Security
funded partly by the national initiative for COMET Competence Centers for Excellent Technologies.

Tag: Highlights

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… Read More

Dimitris Simos @ HVC17 in Haifa

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 @ University of Bergamo

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.

Paper accepted at USENIX Security 2017

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

Edgar Weippl gives a keynote at RCIS 2017

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 @ ICST 2017

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 @ IWCT 2017

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