Aree – Security and privacy

Security and privacy aderente allo standard 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