OLIVIERI, Luca
 Distribuzione geografica
Continente #
NA - Nord America 2.436
AS - Asia 1.981
EU - Europa 1.379
SA - Sud America 200
Continente sconosciuto - Info sul continente non disponibili 74
AF - Africa 49
OC - Oceania 10
Totale 6.129
Nazione #
US - Stati Uniti d'America 2.337
IT - Italia 820
SG - Singapore 550
VN - Vietnam 443
CN - Cina 316
HK - Hong Kong 170
BR - Brasile 139
IN - India 131
DE - Germania 101
JP - Giappone 91
KR - Corea 69
BD - Bangladesh 56
RU - Federazione Russa 56
FR - Francia 55
GB - Regno Unito 53
CA - Canada 52
FI - Finlandia 50
NL - Olanda 44
SE - Svezia 35
IE - Irlanda 30
ES - Italia 24
PL - Polonia 24
TW - Taiwan 24
AR - Argentina 23
ID - Indonesia 17
UA - Ucraina 16
IQ - Iraq 15
MX - Messico 15
TR - Turchia 15
PH - Filippine 12
PK - Pakistan 12
TH - Thailandia 12
MY - Malesia 11
CO - Colombia 9
CH - Svizzera 8
CR - Costa Rica 8
EC - Ecuador 8
LT - Lituania 8
VE - Venezuela 8
AT - Austria 7
AU - Australia 7
IR - Iran 7
UZ - Uzbekistan 7
ZA - Sudafrica 7
BJ - Benin 6
LV - Lettonia 6
MA - Marocco 6
BE - Belgio 5
CL - Cile 5
GR - Grecia 5
HU - Ungheria 5
NG - Nigeria 5
PT - Portogallo 5
EG - Egitto 4
GT - Guatemala 4
HN - Honduras 4
JO - Giordania 4
RO - Romania 4
SI - Slovenia 4
AL - Albania 3
AM - Armenia 3
BO - Bolivia 3
CW - ???statistics.table.value.countryCode.CW??? 3
JM - Giamaica 3
MZ - Mozambico 3
NI - Nicaragua 3
RE - Reunion 3
SA - Arabia Saudita 3
SK - Slovacchia (Repubblica Slovacca) 3
SV - El Salvador 3
CM - Camerun 2
DK - Danimarca 2
DZ - Algeria 2
NZ - Nuova Zelanda 2
OM - Oman 2
PE - Perù 2
SN - Senegal 2
TN - Tunisia 2
UY - Uruguay 2
AG - Antigua e Barbuda 1
AO - Angola 1
AW - Aruba 1
AZ - Azerbaigian 1
BB - Barbados 1
BG - Bulgaria 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
CU - Cuba 1
CZ - Repubblica Ceca 1
EE - Estonia 1
ET - Etiopia 1
HR - Croazia 1
IL - Israele 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LB - Libano 1
LY - Libia 1
MN - Mongolia 1
Totale 6.046
Città #
Ashburn 480
Singapore 256
Dallas 237
San Jose 234
Council Bluffs 220
Hong Kong 142
Venice 121
Ho Chi Minh City 114
Hanoi 106
Verona 98
Milan 93
Beijing 68
Hefei 63
Seoul 59
Tokyo 53
New York 52
Munich 47
Santa Clara 45
Los Angeles 38
Chandler 37
Bengaluru 36
Treviso 33
The Dalles 31
Udine 31
Staranzano 29
Boardman 28
Chicago 27
Orem 26
Lauterbourg 25
Kolkata 24
Parma 22
Chennai 21
Rome 20
Buffalo 19
Dublin 19
Warsaw 19
Haiphong 18
Da Nang 17
Phoenix 17
Seattle 17
São Paulo 17
Columbus 16
Frankfurt am Main 16
Atlanta 15
London 15
Bologna 14
Montreal 14
Denver 13
Moscow 13
Jacksonville 12
Lappeenranta 12
Naples 12
Helsinki 11
Louisville 11
Taipei 11
Turku 11
Brooklyn 10
Tampere 10
Guangzhou 9
Philadelphia 9
Queens 9
Shanghai 9
Toronto 9
Ann Arbor 8
Fairfield 8
Houston 8
Hải Dương 8
Jersey City 8
Kuala Lumpur 8
Manchester 8
Shenyang 8
Washington 8
Amherst 7
Boston 7
Mexico City 7
Poplar 7
San Diego 7
Taichung 7
Amsterdam 6
Ankara 6
Baghdad 6
Biên Hòa 6
Brescia 6
Cambridge 6
Cotonou 6
Delhi 6
Edison 6
Fiorano Modenese 6
La Puente 6
Milner 6
Mülheim 6
Padova 6
Paris 6
San José 6
Turin 6
Bangkok 5
Budapest 5
Bắc Giang 5
Can Tho 5
Galway 5
Totale 3.561
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 417
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges 328
An application layer with protocol-based java smart contract verification 309
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 289
European Union Data Act and Blockchain Technology: Challenges and New Directions 229
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 225
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 222
Static Privacy Analysis by Flow Reconstruction of Tainted Data 214
Detection of Phantom Reads in Hyperledger Fabric 204
Tailoring Taint Analysis to GDPR 203
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 202
Fungible and non-fungible tokens with snapshots in Java 199
Teaching Through Practice: Advanced Static Analysis with LiSA 199
Blockchain Interoperability through Bridges: A Token Transfer Perspective 195
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 193
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 191
MichelsonLiSA: A Static Analyzer for Tezos 169
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 166
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 160
Challenges of software verification 153
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 148
Software verification challenges in the blockchain ecosystem 146
Design and Implementation of Static Analyses for Tezos Smart Contracts 146
Cybersecurity impacts of the Covid-19 pandemic in Italy 145
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 145
Double-Spending Attacks in Cross-Blockchain Ecosystems 141
On-Chain Smart Contract Verification over Tendermint 133
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 120
The Double Spending Dilemma: From Traditional Cash Systems to Interoperable Blockchain Systems 115
An Overview of Termination in the Ethereum Blockchain 111
Towards Compliance of Smart Contracts with the European Union Data Act 110
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric 105
Challenges of Software Verification (CSV’25) 53
A Modular Framework for Stack-Heap and Value Abstractions 30
GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts 14
Totale 6.129
Categoria #
all - tutte 17.337
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 17.337


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202235 0 0 0 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/20263.792 224 161 353 207 536 258 428 244 537 329 242 273
2026/20271.059 162 210 383 304 0 0 0 0 0 0 0 0
Totale 6.129