Cyber Security
Cyber Security

Publications

Read more about our research.
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
Using clang as a frontend on a formal verification tool
Mikhail R. Gadelha, Jeremy Morse, Lucas Cordeiro & Denis Nicole, 2017
Type: conference
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
Android malware family classification based on resource consumption over time
Luca Massarelli, Leonardo Aniello, Claudio Ciccotelli, Leonardo Querzoni, Daniele Ucci & Roberto Baldoni, 2017
DOI: 10.1109/MALWARE.2017.8323954
Type: conference
Malware family identification with BIRCH clustering
Gregorio Pitolli, Leonardo Aniello, Giuseppe Laurenza, Leonardo Querzoni & Roberto Baldoni, 2017
Type: bookChapter