Cyber Security About us Our people Publications Research projects Cyber Security Publications Read more about our research. ESBMC 5.0: an industrial-strength C model checker Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer & Denis A. Nicole, 2018 DOI: 10.1145/3238147.3240481 Type: conference A formal approach to analyzing cyber-forensics evidence Erisa Karafili, Matteo Cristani & Luca Viganò, 2018 DOI: 10.1007/978-3-319-99073-6_14 Type: conference Strategic attacks on trust models via bandit optimization Taha D. Güneş, Long Tran-Thanh & Timothy J. Norman, 2018, CEUR Workshop Proceedings, 2154, 87-95 Type: article Using clang as a frontend on a formal verification tool Mikhail R. Gadelha, Jeremy Morse, Lucas Cordeiro & Denis Nicole, 2018 Type: conference PDF malware detection: a survey and taxonomy of current techniques Michele Elingiusti, Leonardo Aniello, Leonardo Querzoni & Roberto Baldoni, 2018 Type: bookChapter Pagination Previous page ‹ Previous … Page 9 Page 10 Page 11 Page 12 Page 13 Page 14 Page 15 Page 16 Page 17 … Next page Next ›