OLIVIERI, Luca
 Distribuzione geografica
Continente #
AS - Asia 971
NA - Nord America 909
EU - Europa 804
SA - Sud America 149
AF - Africa 29
OC - Oceania 8
Totale 2.870
Nazione #
US - Stati Uniti d'America 888
IT - Italia 442
SG - Singapore 344
CN - Cina 218
HK - Hong Kong 120
BR - Brasile 111
VN - Vietnam 92
DE - Germania 82
IN - India 74
RU - Federazione Russa 51
FI - Finlandia 39
JP - Giappone 34
IE - Irlanda 27
NL - Olanda 26
GB - Regno Unito 25
KR - Corea 24
PL - Polonia 20
AR - Argentina 18
FR - Francia 18
UA - Ucraina 14
ES - Italia 12
CA - Canada 11
TW - Taiwan 10
MX - Messico 9
SE - Svezia 9
IQ - Iraq 7
AT - Austria 6
AU - Australia 6
BJ - Benin 6
EC - Ecuador 6
ID - Indonesia 6
IR - Iran 6
MA - Marocco 6
TR - Turchia 6
HU - Ungheria 5
PK - Pakistan 5
BD - Bangladesh 4
BE - Belgio 4
CH - Svizzera 4
BO - Bolivia 3
EG - Egitto 3
JO - Giordania 3
LV - Lettonia 3
MY - Malesia 3
OM - Oman 3
PT - Portogallo 3
UZ - Uzbekistan 3
VE - Venezuela 3
ZA - Sudafrica 3
AL - Albania 2
CL - Cile 2
CM - Camerun 2
CO - Colombia 2
DZ - Algeria 2
GR - Grecia 2
LT - Lituania 2
NG - Nigeria 2
PE - Perù 2
PH - Filippine 2
RO - Romania 2
TN - Tunisia 2
UY - Uruguay 2
BY - Bielorussia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
HR - Croazia 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LY - Libia 1
MN - Mongolia 1
NC - Nuova Caledonia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TG - Togo 1
TJ - Tagikistan 1
Totale 2.870
Città #
Dallas 222
Singapore 189
Ashburn 188
Hong Kong 110
Venice 79
Verona 73
Hefei 63
Beijing 53
Milan 48
Munich 47
Chandler 37
Bengaluru 34
Treviso 31
Ho Chi Minh City 30
Los Angeles 26
New York 26
The Dalles 24
Seoul 22
Udine 20
Dublin 18
Hanoi 18
Council Bluffs 17
Boardman 16
Warsaw 16
Bologna 13
Buffalo 13
Moscow 13
Santa Clara 13
Seattle 13
São Paulo 13
London 11
Turku 11
Kolkata 10
Tampere 10
Chennai 9
Frankfurt am Main 9
Jacksonville 9
Parma 9
Ann Arbor 8
Chicago 8
Fairfield 8
Houston 8
Jersey City 8
Orem 8
Amherst 7
Atlanta 7
Guangzhou 7
Helsinki 7
Rome 7
Shenyang 7
Tokyo 7
Boston 6
Cambridge 6
Cotonou 6
Fiorano Modenese 6
Montreal 6
Mülheim 6
Padova 6
San Diego 6
Shanghai 6
Brooklyn 5
Budapest 5
Denver 5
Galway 5
Haiphong 5
Hải Dương 5
Lappeenranta 5
Poplar 5
San Mateo 5
Torre di Fine 5
Turin 5
Venezia 5
Wilmington 5
Woodbridge 5
Ankara 4
Casablanca 4
Delhi 4
Hangzhou 4
Manchester 4
Mexico City 4
Mumbai 4
Naples 4
Phoenix 4
Redondo Beach 4
San Benedetto Po 4
Taichung 4
Amman 3
Baghdad 3
Belo Horizonte 3
Biên Hòa 3
Brescia 3
Buenos Aires 3
Columbus 3
Da Nang 3
Eindhoven 3
Eschweiler 3
Jakarta 3
Kassel 3
Kuala Lumpur 3
Kyiv 3
Totale 1.874
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 274
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 213
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges 178
An application layer with protocol-based java smart contract verification 159
Tailoring Taint Analysis to GDPR 141
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 138
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 133
Detection of Phantom Reads in Hyperledger Fabric 124
Static Privacy Analysis by Flow Reconstruction of Tainted Data 121
Teaching Through Practice: Advanced Static Analysis with LiSA 118
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 114
European Union Data Act and Blockchain Technology: Challenges and New Directions 109
MichelsonLiSA: A Static Analyzer for Tezos 102
Fungible and non-fungible tokens with snapshots in Java 101
Blockchain Interoperability through Bridges: A Token Transfer Perspective 99
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 98
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 91
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 87
Software verification challenges in the blockchain ecosystem 80
Cybersecurity impacts of the Covid-19 pandemic in Italy 79
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 78
Design and Implementation of Static Analyses for Tezos Smart Contracts 73
On-Chain Smart Contract Verification over Tendermint 57
Towards Compliance of Smart Contracts with the European Union Data Act 49
Challenges of software verification 36
null 23
Double-Spending Attacks in Cross-Blockchain Ecosystems 20
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 19
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric 11
Totale 2.925
Categoria #
all - tutte 10.164
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 10.164


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.647 224 161 353 207 542 160 0 0 0 0 0 0
Totale 2.925