Cyber Security About us Our people Publications Research projects Cyber Security Publications Read more about our research. 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 Budget limited trust-aware decision making Taha Gunes, Timothy Norman & Long Tran-Thanh, 2017 DOI: 10.1007/978-3-319-71679-4_7 Type: report Pagination Previous page ‹ Previous … Page 9 Page 10 Page 11 Page 12 Current page 13 Page 14 Page 15 Page 16 Page 17 … Next page Next ›