OLIVIERI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 910
NA - Nord America 862
EU - Europa 788
SA - Sud America 136
AF - Africa 22
OC - Oceania 8
Totale 2.726
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 844
IT - Italia 439
SG - Singapore 340
CN - Cina 218
HK - Hong Kong 115
BR - Brasile 102
DE - Germania 81
IN - India 71
VN - Vietnam 56
RU - Federazione Russa 51
FI - Finlandia 35
JP - Giappone 34
IE - Irlanda 26
GB - Regno Unito 24
KR - Corea 24
NL - Olanda 24
PL - Polonia 19
FR - Francia 18
AR - Argentina 17
UA - Ucraina 14
ES - Italia 12
CA - Canada 11
TW - Taiwan 9
SE - Svezia 8
MX - Messico 7
AT - Austria 6
AU - Australia 6
BJ - Benin 6
EC - Ecuador 6
ID - Indonesia 6
IR - Iran 6
TR - Turchia 6
HU - Ungheria 5
IQ - Iraq 5
BE - Belgio 4
CH - Svizzera 4
MA - Marocco 4
PK - Pakistan 4
BD - Bangladesh 3
LV - Lettonia 3
MY - Malesia 3
PT - Portogallo 3
BO - Bolivia 2
CL - Cile 2
CM - Camerun 2
CO - Colombia 2
DZ - Algeria 2
EG - Egitto 2
GR - Grecia 2
LT - Lituania 2
PE - Perù 2
PH - Filippine 2
RO - Romania 2
TN - Tunisia 2
UY - Uruguay 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AL - Albania 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
HR - Croazia 1
JO - Giordania 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LY - Libia 1
MN - Mongolia 1
NC - Nuova Caledonia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
VE - Venezuela 1
Totale 2.726
Salva come PNG Salva come JPEG
Città #
Dallas 222
Singapore 189
Ashburn 156
Hong Kong 105
Venice 79
Verona 72
Hefei 63
Beijing 53
Milan 48
Munich 47
Chandler 37
Bengaluru 34
Treviso 31
Los Angeles 26
New York 25
The Dalles 24
Seoul 22
Udine 20
Dublin 18
Council Bluffs 17
Ho Chi Minh City 17
Warsaw 16
Boardman 15
Hanoi 15
Bologna 13
Buffalo 13
Moscow 13
São Paulo 13
Santa Clara 12
Seattle 12
London 11
Tampere 10
Frankfurt am Main 9
Jacksonville 9
Kolkata 9
Parma 9
Ann Arbor 8
Chicago 8
Fairfield 8
Houston 8
Jersey City 8
Amherst 7
Atlanta 7
Chennai 7
Guangzhou 7
Helsinki 7
Orem 7
Rome 7
Shenyang 7
Tokyo 7
Turku 7
Boston 6
Cambridge 6
Cotonou 6
Fiorano Modenese 6
Montreal 6
Mülheim 6
Padova 6
Shanghai 6
Brooklyn 5
Budapest 5
Denver 5
Galway 5
Lappeenranta 5
San Diego 5
San Mateo 5
Torre di Fine 5
Turin 5
Venezia 5
Wilmington 5
Woodbridge 5
Ankara 4
Delhi 4
Haiphong 4
Hangzhou 4
Manchester 4
Mumbai 4
Naples 4
Phoenix 4
Poplar 4
Redondo Beach 4
San Benedetto Po 4
Taichung 4
Belo Horizonte 3
Brescia 3
Columbus 3
Eindhoven 3
Eschweiler 3
Jakarta 3
Kassel 3
Kuala Lumpur 3
Kyiv 3
Mexico City 3
Reggio Emilia 3
Riga 3
Rio de Janeiro 3
Salt Lake City 3
Sunderland 3
Sydney 3
Tehran 3
Totale 1.801
Salva come PNG Salva come JPEG
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 271
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 208
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges 170
An application layer with protocol-based java smart contract verification 156
Tailoring Taint Analysis to GDPR 138
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 133
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 128
Detection of Phantom Reads in Hyperledger Fabric 119
Static Privacy Analysis by Flow Reconstruction of Tainted Data 116
Teaching Through Practice: Advanced Static Analysis with LiSA 108
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 108
European Union Data Act and Blockchain Technology: Challenges and New Directions 101
Fungible and non-fungible tokens with snapshots in Java 97
MichelsonLiSA: A Static Analyzer for Tezos 97
Blockchain Interoperability through Bridges: A Token Transfer Perspective 94
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 88
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 86
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 83
Software verification challenges in the blockchain ecosystem 76
Cybersecurity impacts of the Covid-19 pandemic in Italy 74
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 73
Design and Implementation of Static Analyses for Tezos Smart Contracts 69
On-Chain Smart Contract Verification over Tendermint 53
Towards Compliance of Smart Contracts with the European Union Data Act 47
Challenges of software verification 29
null 23
Double-Spending Attacks in Cross-Blockchain Ecosystems 17
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 13
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric 6
Totale 2.781
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.881
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 9.881
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202155 0 0 0 0 0 10 6 8 2 7 12 10
2021/202256 1 15 5 4 2 0 6 0 3 5 9 6
2022/2023140 3 6 1 10 11 30 0 15 18 1 25 20
2023/2024181 7 14 13 8 13 23 14 17 30 5 13 24
2024/2025801 9 21 43 51 40 51 99 31 124 126 118 88
2025/20261.503 224 161 353 207 542 16 0 0 0 0 0 0
Totale 2.781