Software and application security

Mila Dalla Preda
Associate Professor
Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Associate Professor
Federica Maria Francesca Paci
Associate Professor
Luca Vigano'
Research Assistants
Research interests
Topic People Description
Formal software and application security Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement.
Software and application security Federica Maria Francesca Paci
Luca Vigano'
Development of security methodologies and technologies for the security of software systems and Internet applications

Activities

Research facilities