Every digital system contains vulnerabilities that are not yet known to the developers. Our expertise group develops ways to support designers and cyber security experts. We do this by automatically detecting and analysing unknown vulnerabilities in digital systems. And by researching detection techniques that can recognise vulnerabilities before a digital system is put into operation.