CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  OLIVIERI, LUCA

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
Tailoring Taint Analysis to GDPR 1-gen-2018 Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 1-gen-2020 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 1-gen-2021 Crosara, Marco; Olivieri, Luca; Spoto, Nicola Fausto; Tagliaferro, Fabio
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 1-gen-2021 Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto
On-Chain Smart Contract Verification over Tendermint 1-gen-2021 Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Static Privacy Analysis by Flow Reconstruction of Tainted Data 1-gen-2021 Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto
Fungible and non-fungible tokens with snapshots in Java 1-gen-2022 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Mostrati risultati da 1 a 8 di 8
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile