Andrea Margheri

According to our database, Andrea Margheri authored at least 25 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Decentralised provenance for healthcare data.

Andrea Margheri, Massimiliano Masi, Abdallah Miladi, Vladimiro Sassone, Jason Rosenzweig

Int. J. Medical Informatics, 2020

Riskio: A Serious Game for Cyber Security Awareness and Education.

Stephen Hart, Andrea Margheri, Federica Paci, Vladimiro Sassone

Comput. Secur., 2020

2019

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.

Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi

IEEE Trans. Software Eng., 2019

2018

Differentially Private Data Sharing in a Cloud Federation with Blockchain.

Mu Yang, Andrea Margheri, Runshan Hu, Vladimiro Sassone

IEEE Cloud Comput., 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

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 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

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

Towards Adaptive Access Control.

Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone, Nicola Zannone

Proceedings of the Data and Applications Security and Privacy XXXII, 2018

2017

Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments.

Edoardo Gaetani, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations.

Md. Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang, Vladimiro Sassone

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 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

Proceedings of the 13th European Dependable Computing Conference, 2017

A Distributed Infrastructure for Democratic Cloud Federations.

Andrea Margheri, Md. Sadek Ferdous, Mu Yang, Vladimiro Sassone

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

Privacy-Preserving Access Control in Cloud Federations.

Shorouq Alansari, Federica Paci, Andrea Margheri, Vladimiro Sassone

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2016

A Formal Approach to Specification, Analysis and Implementation of Policy-Based Systems.

Andrea Margheri

PhD thesis, 2016

FaaS: Federation-as-a-Service.

Francesco Paolo Schiavo, Vladimiro Sassone, Luca Nicoletti, Andrea Margheri

CoRR, 2016

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.

Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

The SCEL Language: Design, Implementation, Verification.

Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Correctness of Service Components and Service Component Ensembles.

Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron

Proceedings of the Software Engineering for Collective Autonomic Systems, 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, Petr Tuma, Andrea Vandin, Emil Vassev

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

On Properties of Policy-Based Specifications.

Andrea Margheri, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, 2015

2014

On Programming and Policing Autonomic Computing Systems.

Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.

Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Linguistic Abstractions for Programming and Policing Autonomic Computing Systems.

Andrea Margheri, Rosario Pugliese, Francesco Tiezzi

Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.

Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi

Proceedings of the HEALTHINF 2013, 2013

2011

Orchestrating Tuple-Based Languages.

Rocco De Nicola, Andrea Margheri, Francesco Tiezzi

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011