Cyber Security About us Our people Publications Research projects Cyber Security Publications Read more about our research. Survey of machine learning techniques for malware analysis Daniele Ucci, Leonardo Aniello & Roberto Baldoni, 2019, Computers and Security, 81, 123-147 DOI: 10.1016/j.cose.2018.11.001 Type: article Developing critical software in the modern threat environment Brian Stevens, Rob Ashmore, Andrea Margheri & Vladimiro Sassone, 2019 Type: conference Towards a semantic modelling for threat analysis of IoT applications: a case study on transactive energy Nawfal Fadhel, Federico Lombardi, Leonardo Aniello, Andrea Margheri & Vladimiro Sassone, 2019 Type: conference A proactive Q-learning approach for autoscaling heterogeneous cloud servers 2018 DOI: 10.1109/EDCC.2018.00038 Type: conference Towards counterexample-guided k-induction for fast bug detection Mikhail R. Gadelha, Felipe R. Monteiro, Lucas Cordeiro & Denis Nicole, 2018 DOI: 10.1145/3236024.3264840 Type: conference Collective-aware system-on-chips for dependable IoT applications Vasileios Tenentes, Daniele Rossi & Bashir M. Al-Hashimi, 2018 DOI: 10.1109/IOLTS.2018.8474172 Type: conference 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 Pagination Previous page Previous … Page 7 Page 8 Page 9 Page 10 Page 11 Page 12 … Next page Next