Research Interests

My main research interest mainly concerns the study of process algebra based techniques for run-time enforcement of security properties in such a way that considered systems, ranging from distributed systems to web services, will be secure. Furthermore, I deal with formal models for security by focusing on synthesis of secure systems and controllers In particular my research activities are on the following topics: