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
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
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.