Publications

ASSURE: A hardware-baSed SecUrity pRotocol for resourcE-constrained IoT systems - Yildiran Yilmaz, Leonardo Aniello and Basel Halak

Type: Article | 2020

SMT-based refutation of spurious bug reports in the clang static analyzer - Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer and Denis Nicole

Type: Conference or Workshop Item | 2019 | IEEE Press | Item availability restricted.

Preemptive type checking - Neville Grech, Bernd Fischer and Julian Rathke

Type: Article | 2018

Towards adaptive access control - Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone and Nicola Zannone

Type: Conference or Workshop Item | 2018 | Springer

Using PROV and Blockchain to Achieve Health Data Provenance - Massimiliano Massi, Abdallah Miladi, Andrea Margheri, Vladimiro Sassone and Jason Rosenzweig

Type: Monograph | 2018

The GDPR: A game changer for electronic identification schemes? The case study of Gov.UK Verify - Sophie Stalla-Bourdillon, Henry Pearce and Niko Tsakalakis

Type: Article | 2018

Tutorial: cloud-based data stream processing - Thomas Heinze, Leonardo Aniello, Leonardo Querzoni and Zbigniew Jerzak

Type: Conference or Workshop Item | 2014

An architecture for automatic scaling of replicated services - Leonardo Aniello, Silvia Bonomi, Federico Lombardi, Alessandro Zelli and Roberto Baldoni

Type: Conference or Workshop Item | 2014 | Springer

The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game - Sylvain Frey, Awais Rashid, Pauline Anthonysamy, Maria Pinto-Albuquerque and Syed Asad Naqvi

Type: Article | 2017 | Item not available on this server.

A blockchain-based infrastructure for reliable and cost-effective IoT-aided smart grids - Federico Lombardi, Leonardo Aniello, Stefano De Angelis, Andrea Margheri and Vladimiro Sassone

Type: Conference or Workshop Item | 2018