OLIVIERI, Luca
 Distribuzione geografica
Continente #
AS - Asia 1.952
NA - Nord America 1.950
EU - Europa 1.270
SA - Sud America 196
Continente sconosciuto - Info sul continente non disponibili 67
AF - Africa 45
OC - Oceania 10
Totale 5.490
Nazione #
US - Stati Uniti d'America 1.898
IT - Italia 734
SG - Singapore 548
VN - Vietnam 443
CN - Cina 311
HK - Hong Kong 170
BR - Brasile 137
IN - India 128
DE - Germania 101
JP - Giappone 79
KR - Corea 69
BD - Bangladesh 56
RU - Federazione Russa 55
FR - Francia 54
FI - Finlandia 50
GB - Regno Unito 45
NL - Olanda 41
SE - Svezia 33
IE - Irlanda 29
CA - Canada 25
PL - Polonia 24
TW - Taiwan 24
AR - Argentina 23
ES - Italia 22
ID - Indonesia 17
IQ - Iraq 15
MX - Messico 15
UA - Ucraina 15
TR - Turchia 14
PH - Filippine 12
TH - Thailandia 12
MY - Malesia 11
PK - Pakistan 10
CO - Colombia 9
CH - Svizzera 8
EC - Ecuador 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
GR - Grecia 5
HU - Ungheria 5
LT - Lituania 5
NG - Nigeria 5
PT - Portogallo 5
EG - Egitto 4
JO - Giordania 4
RO - Romania 4
SI - Slovenia 4
AL - Albania 3
BO - Bolivia 3
CL - Cile 3
CR - Costa Rica 3
MZ - Mozambico 3
SA - Arabia Saudita 3
SK - Slovacchia (Repubblica Slovacca) 3
CM - Camerun 2
DK - Danimarca 2
DZ - Algeria 2
JM - Giamaica 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
BG - Bulgaria 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
CU - Cuba 1
CZ - Repubblica Ceca 1
ET - Etiopia 1
HR - Croazia 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LB - Libano 1
LY - Libia 1
MN - Mongolia 1
MV - Maldive 1
NC - Nuova Caledonia 1
NI - Nicaragua 1
NP - Nepal 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TG - Togo 1
Totale 5.421
Città #
Ashburn 424
Singapore 256
Dallas 230
Council Bluffs 190
San Jose 176
Hong Kong 142
Ho Chi Minh City 114
Hanoi 106
Venice 101
Verona 97
Milan 87
Beijing 68
Hefei 63
Seoul 59
Munich 47
New York 47
Tokyo 46
Los Angeles 38
Chandler 37
Santa Clara 37
Bengaluru 36
Treviso 33
The Dalles 31
Udine 31
Boardman 28
Orem 26
Lauterbourg 25
Kolkata 23
Chennai 21
Dublin 19
Parma 19
Warsaw 19
Haiphong 18
Da Nang 17
São Paulo 17
Buffalo 16
Chicago 16
Frankfurt am Main 16
Columbus 15
Rome 15
Seattle 15
Bologna 14
London 13
Moscow 13
Lappeenranta 12
Naples 12
Atlanta 11
Helsinki 11
Jacksonville 11
Montreal 11
Taipei 11
Turku 11
Louisville 10
Tampere 10
Guangzhou 9
Phoenix 9
Shanghai 9
Ann Arbor 8
Fairfield 8
Houston 8
Hải Dương 8
Jersey City 8
Kuala Lumpur 8
Manchester 8
Queens 8
Shenyang 8
Amherst 7
Boston 7
Brooklyn 7
Mexico City 7
Poplar 7
San Diego 7
Taichung 7
Amsterdam 6
Ankara 6
Baghdad 6
Biên Hòa 6
Cambridge 6
Cotonou 6
Delhi 6
Edison 6
Fiorano Modenese 6
Milner 6
Mülheim 6
Padova 6
Paris 6
Philadelphia 6
Turin 6
Bangkok 5
Brescia 5
Budapest 5
Bắc Giang 5
Can Tho 5
Denver 5
Galway 5
Hangzhou 5
Jakarta 5
Kowloon 5
Memphis 5
Mumbai 5
Totale 3.269
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 395
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges 303
An application layer with protocol-based java smart contract verification 288
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 275
European Union Data Act and Blockchain Technology: Challenges and New Directions 212
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 206
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 197
Static Privacy Analysis by Flow Reconstruction of Tainted Data 194
Detection of Phantom Reads in Hyperledger Fabric 193
Tailoring Taint Analysis to GDPR 191
Teaching Through Practice: Advanced Static Analysis with LiSA 188
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 188
Fungible and non-fungible tokens with snapshots in Java 184
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 177
Blockchain Interoperability through Bridges: A Token Transfer Perspective 171
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 165
MichelsonLiSA: A Static Analyzer for Tezos 155
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 145
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 138
Design and Implementation of Static Analyses for Tezos Smart Contracts 136
Software verification challenges in the blockchain ecosystem 135
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 133
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 132
Challenges of software verification 129
Cybersecurity impacts of the Covid-19 pandemic in Italy 128
Double-Spending Attacks in Cross-Blockchain Ecosystems 118
On-Chain Smart Contract Verification over Tendermint 117
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 101
An Overview of Termination in the Ethereum Blockchain 99
Towards Compliance of Smart Contracts with the European Union Data Act 97
The Double Spending Dilemma: From Traditional Cash Systems to Interoperable Blockchain Systems 87
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric 87
Challenges of Software Verification (CSV’25) 26
Totale 5.490
Categoria #
all - tutte 15.714
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 15.714


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