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
Ingegneria del Software e Sicurezza
Formal methods and theory of security

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share