CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.590
EU - Europa 5.309
AS - Asia 3.825
SA - Sud America 524
Continente sconosciuto - Info sul continente non disponibili 276
AF - Africa 163
OC - Oceania 116
Totale 15.803
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.429
RU - Federazione Russa 1.735
SG - Singapore 1.460
CN - Cina 994
GB - Regno Unito 920
IT - Italia 706
BR - Brasile 407
DE - Germania 379
VN - Vietnam 315
HK - Hong Kong 292
SE - Svezia 292
FR - Francia 281
IE - Irlanda 265
FI - Finlandia 212
IN - India 124
KR - Corea 124
NL - Olanda 123
ID - Indonesia 114
AU - Australia 111
CA - Canada 83
UA - Ucraina 69
ZA - Sudafrica 60
PK - Pakistan 49
BE - Belgio 45
BD - Bangladesh 41
JP - Giappone 41
AR - Argentina 37
NO - Norvegia 36
MX - Messico 33
TR - Turchia 33
IQ - Iraq 31
ES - Italia 29
PL - Polonia 27
SA - Arabia Saudita 27
TW - Taiwan 26
GR - Grecia 24
MY - Malesia 23
CO - Colombia 21
NG - Nigeria 21
EC - Ecuador 20
AT - Austria 19
CH - Svizzera 19
DK - Danimarca 17
CR - Costa Rica 16
IL - Israele 16
AE - Emirati Arabi Uniti 15
RO - Romania 15
CL - Cile 13
LV - Lettonia 13
PT - Portogallo 13
EE - Estonia 12
AZ - Azerbaigian 11
KE - Kenya 11
TH - Thailandia 10
JM - Giamaica 9
LT - Lituania 9
PY - Paraguay 9
RS - Serbia 9
UZ - Uzbekistan 9
CY - Cipro 8
MA - Marocco 8
BG - Bulgaria 7
JO - Giordania 7
PH - Filippine 7
TG - Togo 7
VE - Venezuela 7
AL - Albania 6
BJ - Benin 6
DZ - Algeria 6
KZ - Kazakistan 6
LK - Sri Lanka 6
NP - Nepal 6
PE - Perù 6
AO - Angola 5
DO - Repubblica Dominicana 5
LU - Lussemburgo 5
A2 - ???statistics.table.value.countryCode.A2??? 4
BF - Burkina Faso 4
CZ - Repubblica Ceca 4
EU - Europa 4
MO - Macao, regione amministrativa speciale della Cina 4
MU - Mauritius 4
NZ - Nuova Zelanda 4
OM - Oman 4
PS - Palestinian Territory 4
RE - Reunion 4
SN - Senegal 4
TN - Tunisia 4
GT - Guatemala 3
IS - Islanda 3
MD - Moldavia 3
PR - Porto Rico 3
SD - Sudan 3
SK - Slovacchia (Repubblica Slovacca) 3
SY - Repubblica araba siriana 3
TT - Trinidad e Tobago 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
BW - Botswana 2
Totale 15.492
Salva come PNG Salva come JPEG
Città #
Singapore 846
Dallas 710
Ashburn 607
Southend 534
Moscow 527
Chandler 517
San Jose 515
Jacksonville 453
Woodbridge 281
Hong Kong 272
Dublin 246
Verona 232
Houston 197
The Dalles 159
Ann Arbor 128
Council Bluffs 94
Beijing 91
Los Angeles 91
Helsinki 89
Ho Chi Minh City 89
Jinan 83
Lawrence 83
Princeton 81
Milan 75
Wilmington 68
Hanoi 67
Nanjing 60
Santa Clara 55
Jakarta 53
Shenyang 50
New York 48
Sindelfingen 48
Sydney 45
Buffalo 44
Hebei 42
Seattle 40
Columbus 39
Tianjin 39
Zhengzhou 34
Boardman 33
São Paulo 33
Dong Ket 32
Frankfurt am Main 30
Haikou 30
Tokyo 30
Amsterdam 29
Redondo Beach 28
Guangzhou 27
Brussels 26
Changsha 26
San Francisco 26
Johannesburg 25
Oslo 25
Rome 25
London 23
Lahore 22
Berlin 21
Montreal 21
Stockholm 21
Taiyuan 21
Chicago 20
Hangzhou 20
North Charleston 20
Paris 20
Nanchang 19
Boston 18
Brooklyn 18
Genoa 18
Manchester 18
Ningbo 18
Gangnam-gu 17
Chennai 16
Perth 16
Toronto 16
Abuja 15
Brisbane 15
Da Nang 15
Enschede 15
Munich 15
San José 15
Vienna 15
Washington 15
Fairfield 14
Jiaxing 14
Leeds 14
Norwalk 14
Palermo 14
Riyadh 14
Bristol 13
Denver 13
Lanzhou 13
Orem 13
Phoenix 13
Rotterdam 13
Taizhou 13
Atlanta 12
Dearborn 12
Fuzhou 12
Madrid 12
Nuremberg 12
Totale 8.895
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 1.331
Security Analysis of the OWASP Benchmark with Julia 617
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 326
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 250
Static analysis for discovering IoT vulnerabilities 247
Locking Discipline Inference and Checking 246
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains 239
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 227
Generalising Def and Pos to Type Analysis 214
Abstract Interpretation of Prolog Programs 211
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 210
A Foundation of Escape Analysis 203
Abstract Compilation for Sharing Analysis 201
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 199
A Refinement of the Escape Property 198
Analysis of Downward Closed Properties of Logic Programs 195
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements 195
Class Analyses as Abstract Interpretations of Trace Semantics 187
A Thread-Safe Library for Binary Decision Diagrams 187
Algebraic Methods in Language Processing, AMiLP 2003 180
Boolean Formulas for the Static Identification of Injection Attacks in Java 178
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 177
Design and Implementation of Static Analyses for Tezos Smart Contracts 174
Static Identification of Injection Attacks in Java 172
On-Chain Smart Contract Verification over Tendermint 171
Information Flow Analysis for Java Bytecode 170
Inferring Complete Initialization of Arrays 170
Semantics for Locking Specifications 169
On the use of generic types for smart contracts 167
Reachability Analysis of Program Variables 167
Tailoring Taint Analysis to GDPR 161
Pair-Independence and Freeness Analysis through Linear Refinement 161
Finding the shortest path with PesCa: A tool for network reconstruction 161
Julia: A Generic Static Analyser for the Java Bytecode 160
Vulnerability analysis of Android auto infotainment apps 159
Deriving Escape Analysis by Abstract Interpretation 158
Static Analysis of Android Programs 158
Reachability Analysis of Program Variables 158
A Termination Analyzer for Java Bytecode based on Path-Length 158
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 157
Class Analysis of Object-Oriented Programs through Abstract Interpretation 155
Automaton-Based Array Initialization Analysis 154
Definite Expression Aliasing Analysis for Java Bytecode 153
Static Analysis of Android Apps Interaction with Automotive CAN 152
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 150
A Java Framework for Smart Contracts 149
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 148
An Operational Semantics for Android Activities 148
Static Privacy Analysis by Flow Reconstruction of Tainted Data 148
SDLI: Static Detection of Leaks Across Intents 147
CIL to Java-bytecode translation for static analysis leveraging 145
Pair-Sharing Analysis of Object-Oriented Programs 140
The Julia Static Analyzer for Java 140
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 139
Creating, generating and comparing random network models with NetworkRandomizer 139
Fungible and non-fungible tokens with snapshots in Java 138
Information Flow is Linear Refinement of Constancy 138
Freeness Analysis through Linear Refinement 135
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 134
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 134
Static analysis of Android Auto infotainment and on-board diagnostics II apps 134
Power and Pitfalls of Generic Smart Contracts 133
Precise Null-Pointer Analysis 132
Analysing omics data sets with weighted nodes networks (WNNets) 128
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern 128
Non Pair-Sharing and Freeness Analysis through Linear Refinement 127
Static Analysis of Android Programs 126
The Nullness Analyser of Julia 125
Cross-Programming Language Taint Analysis for the IoT Ecosystem 125
Logic Programs as Compact Denotations 125
Logic Programs as Compact Denotations 124
Special track on Software Verification 122
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 118
Static Analysis for JML's assignable Clauses 115
Path-Length Analysis for Object-Oriented Programs 114
Software Verification Challenges in the Blockchain Ecosystem 112
Experiments with Non-Termination Analysis for Java Bytecode 112
Magic-sets for localised analysis of Java bytecode 111
Inference of Field Initialization 110
Magic-Sets Transformation for the Analysis of Java Bytecode 109
Field-sensitive unreachability and non-cyclicity analysis 106
Constancy Analysis 105
Cross-Program Taint Analysis for IoT Systems 104
Optimality and Condensing of Information Flow through Linear Refinement 99
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 99
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 95
Intents Analysis of Android Apps for Confidentiality Leakage Detection 93
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 92
Nullness Analysis in Boolean Form 91
MichelsonLiSA: A Static Analyzer for Tezos 90
Information Flow Analysis for Detecting Non-Determinism in Blockchain 87
Enforcing Determinism of Java Smart Contracts 84
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. 81
On the Termination of Borrow Checking in Featherweight Rust 72
A Smart Contract Architecture Using Hierarchical Factory Pattern and Multirole Access Control 14
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 2
A Formalization of Signum’s Consensus 2
An Application Layer with Protocol-based Java Smart Contract Verification 2
Totale 15.803
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.758
article - articoli 15.814
book - libri 0
conference - conferenze 32.105
curatela - curatele 1.839
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 99.516
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022797 0 299 70 6 66 26 13 47 16 26 48 180
2022/20231.449 115 148 142 239 138 326 25 90 155 6 42 23
2023/20241.718 90 127 185 168 161 208 130 150 49 138 163 149
2024/20252.502 178 210 85 435 143 134 130 167 316 155 241 308
2025/20266.537 450 467 628 915 1.476 478 663 375 458 370 120 137
2026/2027118 91 27 0 0 0 0 0 0 0 0 0 0
Totale 15.803