Implementazione di un framework di programmazione in Java per contratti digitali

Data inizio
1 gennaio 2019
Durata (mesi) 
12
Dipartimenti
Informatica
Responsabili (o referenti locali)
Spoto Nicola Fausto

Il progetto consiste nell'implementazione di un framework di programmazione Java per contratti digitali su blockchain, basato sulla modifica del Java bytecode (statica o dinamica) e sulla sua istallazione su blockchain. Gli oggetti creati durante l’esecuzione del programma verranno serializzati su blockchain e identificati da un riferimento univoco. Il processo di serializzazione e deserializzazione degli oggetti sarà quanto più possibile trasparente agli utenti del linguaggio.

Enti finanziatori:

Ailia SA
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Nicola Fausto Spoto
Professore associato
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e verifica formale
Software organization and properties

Attività

Strutture

Condividi