Areas – Security and privacy

Security and privacy   standard compliant  ACM 2012

Formal methods and theory of security
Formal methods and theory of security - Formal methods for security analysis of cyber-physical systems - Probabilistic Analysis of Security - Protezione del software
Network security
Network security
Software and application security
Aspetti formali di sicurezza del software - Software and application security


Activities

Research facilities