Cyber Security
Cyber Security

Publications

Read more about our research.
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