Vulnerability testing

Vulnerability testing

SaToSS is focused on formalizing and applying formal reasoning to real-world security problems and trust issues. In the framework of our research, we perform vulnerability testing of existing systems. In executing and reporting these tests, we follow our internal code of conduct with respect to vulnerability testing. The tests have been executed and reported by Sjouke Mauw and Matthijs Melissen.

Below, we give a selection of anonymized incident reports.