Verification and Validation
Almost every IT system that we use is complex. Nobody really understands in detail how it works. And every system contains many mistakes. Every single mistake looks like a wide open door to an attacker trying to hack into the system. Humans cannot deal with this complexity, so we are working on automated tools that can.
For a list of publications related to this focus area please please visit the TU Delft Research Information System.