Cyber Security
Cyber Security

Publications

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