OLIVIERI, Luca
 Distribuzione geografica
Continente #
AS - Asia 1.817
NA - Nord America 1.295
EU - Europa 1.092
SA - Sud America 185
AF - Africa 44
OC - Oceania 9
Totale 4.442
Nazione #
US - Stati Uniti d'America 1.265
IT - Italia 607
SG - Singapore 518
VN - Vietnam 431
CN - Cina 298
HK - Hong Kong 164
BR - Brasile 133
IN - India 111
DE - Germania 94
JP - Giappone 75
KR - Corea 68
RU - Federazione Russa 55
FR - Francia 52
FI - Finlandia 48
GB - Regno Unito 44
NL - Olanda 38
IE - Irlanda 29
TW - Taiwan 24
PL - Polonia 23
AR - Argentina 22
ES - Italia 16
ID - Indonesia 16
IQ - Iraq 15
UA - Ucraina 15
CA - Canada 14
MX - Messico 13
TR - Turchia 13
PH - Filippine 12
SE - Svezia 12
TH - Thailandia 12
BD - Bangladesh 11
PK - Pakistan 10
EC - Ecuador 8
AT - Austria 7
CH - Svizzera 7
IR - Iran 7
UZ - Uzbekistan 7
ZA - Sudafrica 7
AU - Australia 6
BJ - Benin 6
MA - Marocco 6
MY - Malesia 6
VE - Venezuela 6
CO - Colombia 5
GR - Grecia 5
HU - Ungheria 5
LV - Lettonia 5
BE - Belgio 4
EG - Egitto 4
JO - Giordania 4
LT - Lituania 4
NG - Nigeria 4
RO - Romania 4
SI - Slovenia 4
AL - Albania 3
BO - Bolivia 3
CL - Cile 3
MZ - Mozambico 3
PT - Portogallo 3
SA - Arabia Saudita 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
AO - Angola 1
AW - Aruba 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BY - Bielorussia 1
CG - Congo 1
CR - Costa Rica 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
NP - Nepal 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
TG - Togo 1
TJ - Tagikistan 1
Totale 4.442
Città #
Ashburn 309
Singapore 248
Dallas 222
Hong Kong 138
San Jose 136
Ho Chi Minh City 110
Hanoi 102
Verona 89
Venice 85
Milan 75
Beijing 63
Hefei 63
Seoul 58
Munich 47
Tokyo 43
Chandler 37
Bengaluru 36
New York 35
Los Angeles 33
Treviso 32
The Dalles 30
Council Bluffs 29
Lauterbourg 25
Orem 25
Santa Clara 22
Boardman 20
Chennai 20
Udine 20
Dublin 19
Haiphong 18
Warsaw 18
Kolkata 17
São Paulo 17
Frankfurt am Main 16
Parma 16
Da Nang 15
Buffalo 14
Bologna 13
Chicago 13
Moscow 13
Seattle 13
Lappeenranta 12
London 12
Rome 12
Taipei 11
Turku 11
Tampere 10
Guangzhou 9
Helsinki 9
Jacksonville 9
Shanghai 9
Ann Arbor 8
Atlanta 8
Fairfield 8
Houston 8
Hải Dương 8
Jersey City 8
Manchester 8
Montreal 8
Shenyang 8
Amherst 7
Naples 7
Poplar 7
San Diego 7
Taichung 7
Amsterdam 6
Ankara 6
Baghdad 6
Biên Hòa 6
Boston 6
Brooklyn 6
Cambridge 6
Cotonou 6
Delhi 6
Fiorano Modenese 6
Mülheim 6
Padova 6
Bangkok 5
Budapest 5
Bắc Giang 5
Can Tho 5
Denver 5
Galway 5
Hangzhou 5
Jakarta 5
Mexico City 5
Mumbai 5
Paris 5
Quận Ba 5
Reggio Emilia 5
Riga 5
San Mateo 5
Tashkent 5
Thái Bình 5
Thái Nguyên 5
Torre di Fine 5
Turin 5
Venezia 5
Wilmington 5
Woodbridge 5
Totale 2.752
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 330
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges 262
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 254
An application layer with protocol-based java smart contract verification 207
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 188
Detection of Phantom Reads in Hyperledger Fabric 176
Tailoring Taint Analysis to GDPR 176
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 175
Teaching Through Practice: Advanced Static Analysis with LiSA 170
European Union Data Act and Blockchain Technology: Challenges and New Directions 169
Static Privacy Analysis by Flow Reconstruction of Tainted Data 168
Fungible and non-fungible tokens with snapshots in Java 166
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 150
Blockchain Interoperability through Bridges: A Token Transfer Perspective 149
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 145
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 144
MichelsonLiSA: A Static Analyzer for Tezos 141
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 126
Software verification challenges in the blockchain ecosystem 122
Design and Implementation of Static Analyses for Tezos Smart Contracts 117
Cybersecurity impacts of the Covid-19 pandemic in Italy 106
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 104
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 103
Challenges of software verification 102
On-Chain Smart Contract Verification over Tendermint 92
Double-Spending Attacks in Cross-Blockchain Ecosystems 84
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 82
Towards Compliance of Smart Contracts with the European Union Data Act 80
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 77
An Overview of Termination in the Ethereum Blockchain 73
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric 65
Totale 4.503
Categoria #
all - tutte 12.343
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 12.343


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202129 0 0 0 0 0 0 0 0 0 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/20263.225 224 161 353 207 536 258 428 244 537 277 0 0
Totale 4.503