Interpretation-based design and measurement of code-protecting transformations

Starting date
November 1, 2014
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Giacobazzi Roberto

Sponsors:

Funds: assigned and managed by the department

Project participants

Roberto Giacobazzi
Full Professor
Research areas involved in the project
Ingegneria del Software e verifica formale
Semantics and reasoning
Sicurezza informatica
Software and application security
Ingegneria del Software e verifica formale
Software creation and management
Ingegneria del Software e verifica formale
Software organization and properties

Activities

Research facilities

Share