Areas – Security and privacy

  1. Home
  2. Research
  3. Research areas
  4. 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 areas

Research groups

PhD Programmes

Research facilities

Share