My research interests are in the area of cyber security of modern computing system. As part of the SUNFISH project, my recent interests focus on cloud computing security and blockchain technology, both as an infrastructure upon which building innovative systems and as securely grounded next generation of blockchain exploitation.
The main outcomes of my past reserach are the following langauges and their analyisis tools
- FACPL: a formal language for attribute-based access control systems
- PSCEL: a policy-based language for the development of self-adaptive systems.
PhD in Computer Science from University of Pisa (Italy), 2016
MSc in Computer Science from University of Firenze (Italy), 2012
Schiavo, Francesco Paolo, Sassone, Vladimiro, Nicoletti, Luca and Margheri, Andrea (eds.)
FaaS: Federation-as-a-Service , Southampton, GB SUNFISH Project 56pp.
Ferdous, Sadek, Margheri, Andrea, Paci, Federica and Sassone, Vladimiro
Decentralised runtime monitoring for access control systems in cloud federations , Southampton, GB University of Southampton 11pp.