Cyber Security About us Our people Publications Research projects Cyber Security Publications Read more about our research. SMT-based refutation of spurious bug reports in the clang static analyzer Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer & Denis Nicole, 2019 DOI: 10.1109/ICSE-Companion.2019.00026 Type: conference Towards an integrated privacy protection framework for IoT: contextualising regulatory requirements with industry best practices. 2019 Type: conference Fuzzy-based approach to assess and prioritize privacy risks 2019, Soft Computing, 1-11 DOI: 10.1007/s00500-019-03986-5 Type: article ESBMC v6.0 Mikhail R. Gadelha, Felipe Monteiro, Lucas Cordeiro & Denis Nicole, 2019 DOI: 10.1007/978-3-030-17502-3_15 Type: conference A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B Giles Howard, Michael Butler, John Colley & Vladimiro Sassone, 2019, International Journal of Critical Computer-Based Systems, 56-75 DOI: 10.1504/IJCCBS.2019.10020048 Type: journalSpecialIssue Pagination Previous page ‹ Previous … Page 6 Page 7 Page 8 Page 9 Current page 10 Page 11 Page 12 Page 13 Page 14 … Next page Next ›