Cyber Security

Publications

Read more about our research.

ESBMC v6.0

Mikhail R. Gadelha,

Felipe Monteiro,

Lucas Cordeiro,

& Denis Nicole

, 2019

DOI: 10.1007/978-3-030-17502-3_15

Type: conference

Fuzzy-based approach to assess and prioritize privacy risks

Stephen Hart,

Anna Lisa Ferrara,

& Federica Paci

, 2019 , Soft Computing , 1--11

DOI: 10.1007/s00500-019-03986-5

Type: article

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

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

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

A proactive Q-learning approach for autoscaling heterogeneous cloud servers

Federico Lombardi

, 2018

DOI: 10.1109/EDCC.2018.00038

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

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

Using clang as a frontend on a formal verification tool

Mikhail R. Gadelha,

Jeremy Morse,

Lucas Cordeiro,

& Denis Nicole

, 2018

Type: conference

Back
to top