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
Formal software and application security - Software and application security


Attività

Strutture