Orchestrating Tuple-Based Languages. - Rocco De Nicola; Andrea Margheri; Francesco Tiezzi 001 (TGC, 2011)

On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. - Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (HEALTHINF, 2013)

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. - Andrea Margheri; Rosario Pugliese; Francesco Tiezzi 001 (UIC/ATC, 2013)

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. - Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (WS-FM, 2013)

On Programming and Policing Autonomic Computing Systems. - Michele Loreti; Andrea Margheri; Rosario Pugliese; Francesco Tiezzi 001 (ISoLA (1), 2014)

On Properties of Policy-Based Specifications. - Andrea Margheri; Rosario Pugliese; Francesco Tiezzi 001 (WWV, 2015)

Tools for Ensemble Design and Runtime. - Dhaminda B. Abeywickrama; Jacques Combaz; Vojtech Horký; Jaroslav Keznikl; Jan Kofron; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Philip Mayer; Giacoma Valentina Monreale; Ugo Montanari; Carlo Pinciroli; et al. (The ASCENS Approach, 2015)

Correctness of Service Components and Service Component Ensembles. - Jacques Combaz; Saddek Bensalem; Francesco Tiezzi 001; Andrea Margheri; Rosario Pugliese; Jan Kofron (The ASCENS Approach, 2015)

The SCEL Language: Design, Implementation, Verification. - Rocco De Nicola; Diego Latella; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Mieke Massink; Andrea Morichetta 001; Rosario Pugliese; Francesco Tiezzi 001; Andrea Vandin (The ASCENS Approach, 2015)

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. - Andrea Margheri; Hanne Riis Nielson; Flemming Nielson; Rosario Pugliese (ISoLA (1), 2016)

FaaS: Federation-as-a-Service. - Francesco Paolo Schiavo; Vladimiro Sassone; Luca Nicoletti; Andrea Margheri (CoRR, 2016)

A Formal Approach to Specification, Analysis and Implementation of Policy-Based Systems. - Andrea Margheri (2016)

Privacy-Preserving Access Control in Cloud Federations. - Shorouq Alansari; Federica Paci; Andrea Margheri; Vladimiro Sassone (CLOUD, 2017)

A Distributed Infrastructure for Democratic Cloud Federations. - Andrea Margheri; Md. Sadek Ferdous; Mu Yang; Vladimiro Sassone (CLOUD, 2017)

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 (EDCC, 2017)

Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations. - Md. Sadek Ferdous; Andrea Margheri; Federica Paci; Mu Yang; Vladimiro Sassone (ICDCS, 2017)

Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments. - Edoardo Gaetani; Leonardo Aniello; Roberto Baldoni; Federico Lombardi; Andrea Margheri; Vladimiro Sassone (ITASEC, 2017)

Towards Adaptive Access Control. - Luciano Argento; Andrea Margheri; Federica Paci; Vladimiro Sassone; Nicola Zannone (DBSec, 2018)

PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain. - Stefano De Angelis; Leonardo Aniello; Roberto Baldoni; Federico Lombardi; Andrea Margheri; Vladimiro Sassone (ITASEC, 2018)

Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case. - Luca Nicoletti; Andrea Margheri; Federico Lombardi; Vladimiro Sassone; Francesco Paolo Schiavo (ITASEC, 2018)

Differentially Private Data Sharing in a Cloud Federation with Blockchain. - Mu Yang; Andrea Margheri; Runshan Hu; Vladimiro Sassone (IEEE Cloud Comput., 2018)

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. - Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi 001 (IEEE Trans. Software Eng., 2019)

Riskio: A Serious Game for Cyber Security Awareness and Education. - Stephen Hart; Andrea Margheri; Federica Paci; Vladimiro Sassone (Comput. Secur., 2020)

Decentralised provenance for healthcare data. - Andrea Margheri; Massimiliano Masi; Abdallah Miladi; Vladimiro Sassone; Jason Rosenzweig (Int. J. Medical Informatics, 2020)

Cloud2Edge Elastic AI Framework for Prototyping and Deployment of AI Inference Engines in Autonomous Vehicles. - Sorin Mihai Grigorescu; Tiberiu T. Cocias; Bogdan Trasnea; Andrea Margheri; Federico Lombardi; Leonardo Aniello (Sensors, 2020)