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
Algebra, Geometria e Logica Matematica Semantics and reasoning (DI)
Algoritmi, Logica e teoria della computazione Semantics and reasoning (DI) (DI)
Ingegneria del Software e verifica formale Semantics and reasoning (DI)
Sicurezza informatica Software and application security (DI)
Ingegneria del Software e verifica formale Software and application security (DI)
Sicurezza informatica Software creation and management (DI)
Ingegneria del Software e verifica formale Software creation and management (DI)
Sicurezza informatica Software organization and properties (DI)
Ingegneria del Software e verifica formale Software organization and properties (DI)