SBA Research is a research center for Information Security funded partly by the national initiative for COMET Competence Centers for Excellent Technologies.
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… Read More
Dimitris Simos chairs the Seventh International Workshop on Combinatorial Testing (IWCT 2018) on April 13, 2018. Kristoffer Kleine presents the paper “CAmetrics: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets” (joint work with Manuel Leithner and Dimitris E. Simos). IWCT 2018 takes place in Västerås, Sweden and… Read More
Our Decentralized Systems Group and Edgar Weippl organized together with Foteini Baldimtsi (George Mason University – Fairfax, US), Stefan Katzenbeisser (TU Darmstadt, DE) and Volkmar Lotz (SAP Labs France – Mougins, FR) the Dagstuhl Seminar on Blockchains, Smart… Read More
Dimitris Simos (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… Read More
The paper “A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice” by Alexei Zamyatin, Nicholas Stifter, Aljosha Judmayer, Philipp Schindler, Edgar Weippl and William J. Knottenbelt, in cooperation with the Imperial College Centre for Cryptocurrency Research and Engineering (IC3RE), was presented at the 5th Workshop on Bitcoin and Blockchain… Read More
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.
Alexander Schatten, senior researcher at SBA Research and Marco Reiser published an interesting article on "What programming at prompt level leads to". Where can AI systems really help programmers and is the approach taken here really new? This article takes a look at their role. ... ∞