Andrea Margheri
Andrea Margheri
Unknown affiliation
Verified email at accenture.com
Title
Cited by
Cited by
Year
Blockchain-based database to ensure data integrity in cloud computing environments
E Gaetani, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone
1232017
PBFT vs proof-of-authority: applying the CAP theorem to permissioned blockchain
S De Angelis, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone
932018
A prototype evaluation of a tamper-resistant high performance blockchain-based transaction log for a distributed database
L Aniello, R Baldoni, E Gaetani, F Lombardi, A Margheri, V Sassone
2017 13th European Dependable Computing Conference (EDCC), 151-154, 2017
492017
The SCEL Language: Design, Implementation, Verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems, 3-71, 2015
492015
A blockchain-based infrastructure for reliable and cost-effective IoT-aided smart grids
F Lombardi, L Aniello, S De Angelis, A Margheri, V Sassone
IET Digital Library, 2018
442018
Decentralised runtime monitoring for access control systems in cloud federations
S Ferdous, A Margheri, F Paci, V Sassone
University of Southampton, 2017
202017
A rigorous framework for specification, analysis and enforcement of access control policies
A Margheri, M Masi, R Pugliese, F Tiezzi
IEEE Transactions on Software Engineering, 2017
192017
Linguistic abstractions for programming and policing autonomic computing systems
A Margheri, R Pugliese, F Tiezzi
2013 IEEE 10th International Conference on Ubiquitous Intelligence and …, 2013
162013
Differentially Private Data Sharing in a Cloud Federation with Blockchain
M Yang, A Margheri, R Hu, V Sassone
IEEE Cloud Computing 5 (6), 69-79, 2018
152018
FaaS: Federation-as-a-Service
FP Schiavo, V Sassone, L Nicoletti, A Margheri
arXiv preprint arXiv:1612.03937, 2016
152016
Privacy-preserving access control in cloud federations
S Alansari, F Paci, A Margheri, V Sassone
2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 757-760, 2017
122017
Correctness of Service Components and Service Component Ensembles
J Combaz, S Bensalem, F Tiezzi, A Margheri, R Pugliese, J Kofroň
Software Engineering for Collective Autonomic Systems, 107-159, 2015
122015
A distributed infrastructure for democratic cloud federations
A Margheri, MS Ferdous, M Yang, V Sassone
2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 688-691, 2017
102017
A formal software engineering approach to policy-based access control
A Margheri, M Masi, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep, 2013
102013
On programming and policing autonomic computing systems
M Loreti, A Margheri, R Pugliese, F Tiezzi
International Symposium On Leveraging Applications of Formal Methods …, 2014
72014
Developing and enforcing policies for access control, resource usage, and adaptation
A Margheri, M Masi, R Pugliese, F Tiezzi
International Workshop on Web Services and Formal Methods, 85-105, 2013
72013
On a formal and user-friendly linguistic approach to access control of electronic health data
A Margheri, M Masi, R Pugliese, F Tiezzi
SciTePress, 2013
72013
Cross-cloud management of sensitive data via blockchain: A payslip calculation use case
L Nicoletti, A Margheri, F Lombardi, V Sassone, FP Schiavo
CEUR-WS. org, 2018
42018
Using PROV and Blockchain to Achieve Health Data Provenance
M Massi, A Miladi, A Margheri, V Sassone, J Rosenzweig
42018
Tools for Ensemble Design and Runtime
DB Abeywickrama, J Combaz, V Horký, J Keznikl, J Kofroň, AL Lafuente, ...
Software Engineering for Collective Autonomic Systems, 429-448, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20