Cyber Security
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