Andrea Margheri
Andrea Margheri
Affiliazione sconosciuta
Email verificata su accenture.com
Titolo
Citata da
Citata da
Anno
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
1912018
Blockchain-based database to ensure data integrity in cloud computing environments
E Gaetani, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone
1822017
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
762017
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
682018
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
552015
Decentralised runtime monitoring for access control systems in cloud federations
S Ferdous, A Margheri, F Paci, V Sassone
University of Southampton, 2017
362017
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
292018
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
242017
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
232017
FaaS: Federation-as-a-Service
FP Schiavo, V Sassone, L Nicoletti, A Margheri
arXiv preprint arXiv:1612.03937, 2016
192016
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
182013
Riskio: A serious game for cyber security awareness and education
S Hart, A Margheri, F Paci, V Sassone
Computers & Security 95, 101827, 2020
162020
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
142017
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
132015
Decentralised provenance for healthcare data
A Margheri, M Masi, A Miladi, V Sassone, J Rosenzweig
International Journal of Medical Informatics 141, 104197, 2020
112020
A formal software engineering approach to policy-based access control
A Margheri, M Masi, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep, 2013
112013
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
Towards an integrated privacy protection framework for IoT: contextualising regulatory requirements with industry best practices
R Thorburn, A Margheri, F Paci
IET Digital Library, 2019
62019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20