PRIN 2022 - Smartitude: Automated Testing and Security Assessment of Smart Contracts

  1. Home
  2. Research
  3. Projects
  4. PRIN 2022 - Smartitude: Automated Testing and Security Assessment of Smart Contracts
Starting date
September 28, 2023
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Ceccato Mariano

Smartitude aims to provide a comprehensive set of software engineering methods and tools to improve the quality assurance of Blockchain Smart Contracts

Sponsors:

MUR - Ministero dell'Università e della Ricerca
Funds: assigned and managed by the department

Project participants

Mariano Ceccato
Associate Professor
Davide Corradini
PhD student
Michele Pasqua
Temporary Assistant Professor
Research areas involved in the project
Sicurezza informatica
Formal methods and theory of security  (DI)
Ingegneria del Software e verifica formale
Formal methods and theory of security  (DI)

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share