The quarterly meeting of the SPLIT (Security Protocol Interaction Testing in Practice) project took place on July 29th, 2016 at SBA Research. SPLIT is funded under the Bridge Early Phase programme of the Austrian Research Promotion Agency (FFG). The project aims to provide quality assurance of security protocols by combining combinatorial testing and model-based testing methodologies as part of a fully automated test cycle. Recent advances of the project on protocols attacks and certificate testing were discussed.
SBA Research acts as the consortium leader, with Graz University of Technology (Franz Wotawa, Institute for Software Technology), University of Texas at Arlington (Jeff Lei, Department of Computer Science and Engineering) and Objentis Software Integration GmbH (Roland Tscheinig) as project partners. For more information regarding SPLIT see the project’s webpage or contact its project leader, Dimitris Simos at email@example.com
A summary of the SPLIT project has been featured in a special theme of ERCIM News on cyber security, which can be found here.