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

  1. Home
  2. Ricerca
  3. Progetti
  4. PRIN 2022 - Smartitude: Automated Testing and Security Assessment of Smart Contracts
Data inizio
28 settembre 2023
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Ceccato Mariano

Smartitude mira a fornire un set completo di metodi e strumenti di ingegneria del software per migliorare la verifica della qualità di Blockchain Smart Contracts

Enti finanziatori:

MUR - Ministero dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Mariano Ceccato
Professore associato
Davide Corradini
Dottorando
Michele Pasqua
Ricercatore a tempo determinato
Aree di ricerca coinvolte dal progetto
Sicurezza informatica
Formal methods and theory of security  (DI)
Ingegneria del Software e verifica formale
Formal methods and theory of security  (DI)

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi