Publications

Read more about our research.

PDF malware detection: a survey and taxonomy of current techniques

Michele Elingiusti,

Leonardo Aniello,

Leonardo Querzoni,

& Roberto Baldoni

, 2018

Type: bookChapter

Design automation of cyber-physical systems: Challenges, advances, and opportunities

Sanjit Seshia,

Shiyan Hu,

Wenchao Li,

& Qi Zhu

, 2017 , IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , 36 (9) , 1421--1434

DOI: 10.1109/TCAD.2016.2633961

Type: article

Collective voice of experts in multilateral negotiation

Taha Gunes,

Emir Arditi,

& Reyhan Aydoğan

, 2017

DOI: 10.1007/978-3-319-69131-2_27

Type: conference

Budget limited trust-aware decision making

Taha Gunes,

Timothy Norman,

& Long Tran-Thanh

, 2017

DOI: 10.1007/978-3-319-71679-4_7

Type: bookChapter

Aging benefits in nanometer CMOS designs

Daniele Rossi,

Vasileios Tenentes,

Sheng Yang,

Saqib Khursheed,

& Bashir Al-Hashimi

, 2017 , IEEE Transactions on Circuits and Systems II: Express Briefs , 64 (3) , 324--328

DOI: 10.1109/TCSII.2016.2561206

Type: article

Enabling data sharing in contextual environments: policy representation and analysis

Erisa Karafili,

& Emil Lupu

, 2017

DOI: 10.1145/3078861.3078876

Type: conference

Game theoretic market driven smart home scheduling considering energy balancing

Yang Liu,

Shiyan Hu,

Han Huang,

Rajiv Ranjan,

Albert Zomaya,

& Lizhe Wang

, 2017 , IEEE Systems Journal , 11 (2) , 910--921

DOI: 10.1109/JSYST.2015.2418032

Type: article

Using clang as a frontend on a formal verification tool

Mikhail R. Gadelha,

Jeremy Morse,

Lucas Cordeiro,

& Denis Nicole

, 2017

Type: conference

Coarse-grained online monitoring of BTI aging by reusing power gating infrastructure

Vasileios Tenentes,

Daniele Rossi,

Sheng Yang,

Saqib Khursheed,

Bashir M. Al-Hashimi,

& Steve R. Gunn

, 2017 , IEEE Transactions on Very Large Scale Integration (VLSI) Systems , 25 (4) , 1397--1407

DOI: 10.1109/TVLSI.2016.2626218

Type: article

A prototype evaluation of a tamper-resistant high performance blockchain-based transaction log for a distributed database

Leonardo Aniello,

Roberto Baldoni,

Edoardo Gaetani,

Federico Lombardi,

Andrea Margheri,

& Vladimiro Sassone

, 2017

DOI: 10.1109/EDCC.2017.31

Type: conference