Collaborating research institutes, centres and groups Cyber Security We bring together expertise and excellence in the field of cyber security research and education. Research outputs Finding rare concurrent programming bugs: 2018 Type: conference Parallel bug-finding in concurrent programs via reduced interleaving instances 2017 Type: conference Preventing unauthorized data flows 2017 DOI: 10.1007/978-3-319-61176-1_3 Type: conference