OLIVIERI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.911
NA - Nord America 1.712
EU - Europa 1.206
SA - Sud America 188
AF - Africa 45
OC - Oceania 10
Totale 5.072
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.668
IT - Italia 700
SG - Singapore 537
VN - Vietnam 441
CN - Cina 305
HK - Hong Kong 168
BR - Brasile 135
IN - India 120
DE - Germania 100
JP - Giappone 78
KR - Corea 69
RU - Federazione Russa 55
FR - Francia 52
FI - Finlandia 50
BD - Bangladesh 46
GB - Regno Unito 44
NL - Olanda 40
IE - Irlanda 29
TW - Taiwan 24
PL - Polonia 23
AR - Argentina 22
CA - Canada 22
ES - Italia 22
ID - Indonesia 16
IQ - Iraq 15
MX - Messico 15
UA - Ucraina 15
TR - Turchia 14
SE - Svezia 13
PH - Filippine 12
TH - Thailandia 12
MY - Malesia 11
PK - Pakistan 10
CH - Svizzera 8
EC - Ecuador 8
AT - Austria 7
AU - Australia 7
IR - Iran 7
UZ - Uzbekistan 7
ZA - Sudafrica 7
BJ - Benin 6
CO - Colombia 6
MA - Marocco 6
VE - Venezuela 6
BE - Belgio 5
GR - Grecia 5
HU - Ungheria 5
LT - Lituania 5
LV - Lettonia 5
NG - Nigeria 5
EG - Egitto 4
JO - Giordania 4
PT - Portogallo 4
RO - Romania 4
SI - Slovenia 4
AL - Albania 3
BO - Bolivia 3
CL - Cile 3
MZ - Mozambico 3
SA - Arabia Saudita 3
CM - Camerun 2
CR - Costa Rica 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
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
JM - Giamaica 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 5.072
Salva come PNG Salva come JPEG
Città #
Ashburn 387
Singapore 255
Dallas 227
Council Bluffs 169
San Jose 158
Hong Kong 141
Ho Chi Minh City 114
Hanoi 104
Verona 95
Venice 90
Milan 86
Beijing 65
Hefei 63
Seoul 59
Munich 47
Tokyo 45
New York 41
Los Angeles 38
Chandler 37
Bengaluru 36
Treviso 32
Udine 31
The Dalles 30
Boardman 28
Santa Clara 28
Orem 26
Lauterbourg 25
Kolkata 21
Chennai 20
Dublin 19
Haiphong 18
Warsaw 18
Da Nang 17
São Paulo 17
Chicago 16
Frankfurt am Main 16
Parma 16
Buffalo 15
Seattle 15
Bologna 14
Columbus 14
Rome 14
Moscow 13
Lappeenranta 12
London 12
Naples 12
Atlanta 11
Helsinki 11
Jacksonville 11
Taipei 11
Turku 11
Montreal 10
Tampere 10
Guangzhou 9
Louisville 9
Shanghai 9
Ann Arbor 8
Fairfield 8
Houston 8
Hải Dương 8
Jersey City 8
Kuala Lumpur 8
Manchester 8
Shenyang 8
Amherst 7
Mexico City 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
Milner 6
Mülheim 6
Padova 6
Turin 6
Bangkok 5
Budapest 5
Bắc Giang 5
Can Tho 5
Denver 5
Galway 5
Hangzhou 5
Jakarta 5
Kowloon 5
Memphis 5
Mumbai 5
Paris 5
Phoenix 5
Quận Ba 5
Reggio Emilia 5
Riga 5
Saarbrücken 5
Totale 3.126
Salva come PNG Salva come JPEG
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 373
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges 289
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 267
An application layer with protocol-based java smart contract verification 240
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 198
European Union Data Act and Blockchain Technology: Challenges and New Directions 195
Static Privacy Analysis by Flow Reconstruction of Tainted Data 189
Detection of Phantom Reads in Hyperledger Fabric 186
Tailoring Taint Analysis to GDPR 184
Teaching Through Practice: Advanced Static Analysis with LiSA 182
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 182
Fungible and non-fungible tokens with snapshots in Java 179
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 178
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 171
Blockchain Interoperability through Bridges: A Token Transfer Perspective 165
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 158
MichelsonLiSA: A Static Analyzer for Tezos 151
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 136
Design and Implementation of Static Analyses for Tezos Smart Contracts 133
Software verification challenges in the blockchain ecosystem 131
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 127
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 123
Cybersecurity impacts of the Covid-19 pandemic in Italy 121
Challenges of software verification 121
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 120
On-Chain Smart Contract Verification over Tendermint 107
Double-Spending Attacks in Cross-Blockchain Ecosystems 105
An Overview of Termination in the Ethereum Blockchain 92
Towards Compliance of Smart Contracts with the European Union Data Act 92
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 90
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric 80
The Double Spending Dilemma: From Traditional Cash Systems to Interoperable Blockchain Systems 58
Challenges of Software Verification (CSV’25) 13
Totale 5.136
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.344
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 14.344
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.792 224 161 353 207 536 258 428 244 537 329 242 273
2026/202766 66 0 0 0 0 0 0 0 0 0 0 0
Totale 5.136