Cyber Security
Cyber Security

Publications

Read more about our research.
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
Collective voice of experts in multilateral negotiation
2017
DOI: 10.1007/978-3-319-69131-2_27
Type: conference
Design automation of cyber-physical systems: Challenges, advances, and opportunities
2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36(9), 1421-1434
DOI: 10.1109/TCAD.2016.2633961
Type: article
Enabling data sharing in contextual environments: policy representation and analysis
Erisa Karafili & Emil Lupu, 2017
DOI: 10.1145/3078861.3078876
Type: conference