Implementazione di un framework di programmazione in Java per contratti digitali

  1. Home
  2. Ricerca
  3. Progetti
  4. 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
Sicurezza informatica
Software organization and properties  (DI)
Ingegneria del Software e verifica formale
Software organization and properties  (DI)

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi