Cyber Security
Cyber Security

Publications

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