CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.512
EU - Europa 5.292
AS - Asia 3.802
SA - Sud America 518
AF - Africa 163
OC - Oceania 116
Continente sconosciuto - Info sul continente non disponibili 9
Totale 15.412
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.360
RU - Federazione Russa 1.735
SG - Singapore 1.451
CN - Cina 989
GB - Regno Unito 920
IT - Italia 696
BR - Brasile 402
DE - Germania 377
VN - Vietnam 315
SE - Svezia 292
HK - Hong Kong 287
FR - Francia 279
IE - Irlanda 265
FI - Finlandia 211
KR - Corea 124
IN - India 123
NL - Olanda 123
ID - Indonesia 114
AU - Australia 111
CA - Canada 82
UA - Ucraina 68
ZA - Sudafrica 60
PK - Pakistan 49
BE - Belgio 45
JP - Giappone 41
BD - Bangladesh 40
AR - Argentina 37
NO - Norvegia 36
TR - Turchia 33
MX - Messico 32
IQ - Iraq 31
ES - Italia 28
PL - Polonia 27
SA - Arabia Saudita 27
TW - Taiwan 25
GR - Grecia 24
MY - Malesia 23
CO - Colombia 21
NG - Nigeria 21
EC - Ecuador 20
AT - Austria 19
CH - Svizzera 19
DK - Danimarca 17
IL - Israele 16
AE - Emirati Arabi Uniti 15
RO - Romania 15
CL - Cile 13
CR - Costa Rica 13
LV - Lettonia 13
PT - Portogallo 13
EE - Estonia 12
AZ - Azerbaigian 11
KE - Kenya 11
LT - Lituania 9
RS - Serbia 9
TH - Thailandia 9
UZ - Uzbekistan 9
CY - Cipro 8
JM - Giamaica 8
MA - Marocco 8
PY - Paraguay 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
LU - Lussemburgo 5
A2 - ???statistics.table.value.countryCode.A2??? 4
BF - Burkina Faso 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 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
SD - Sudan 3
SK - Slovacchia (Repubblica Slovacca) 3
SY - Repubblica araba siriana 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
BW - Botswana 2
CI - Costa d'Avorio 2
EG - Egitto 2
Totale 15.368
Salva come PNG Salva come JPEG
Città #
Singapore 841
Dallas 710
Ashburn 598
Southend 534
Moscow 527
Chandler 517
San Jose 509
Jacksonville 453
Woodbridge 281
Hong Kong 268
Dublin 246
Verona 231
Houston 197
The Dalles 159
Ann Arbor 128
Council Bluffs 94
Los Angeles 91
Beijing 89
Helsinki 89
Ho Chi Minh City 89
Jinan 83
Lawrence 83
Princeton 81
Milan 74
Wilmington 68
Hanoi 67
Nanjing 60
Jakarta 53
Shenyang 50
New York 48
Sindelfingen 48
Santa Clara 46
Sydney 45
Buffalo 44
Hebei 42
Seattle 40
Columbus 39
Tianjin 39
Zhengzhou 34
São Paulo 33
Dong Ket 32
Boardman 30
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
Stockholm 21
Taiyuan 21
Hangzhou 20
Montreal 20
North Charleston 20
Chicago 19
Nanchang 19
Paris 19
Boston 18
Genoa 18
Manchester 18
Ningbo 18
Brooklyn 17
Gangnam-gu 17
Chennai 16
Perth 16
Toronto 16
Abuja 15
Brisbane 15
Da Nang 15
Enschede 15
Munich 15
Vienna 15
Washington 15
Fairfield 14
Jiaxing 14
Leeds 14
Norwalk 14
Riyadh 14
Bristol 13
Denver 13
Lanzhou 13
Orem 13
Palermo 13
Phoenix 13
Rotterdam 13
San José 13
Taizhou 13
Fuzhou 12
Madrid 12
Nuremberg 12
Southampton 12
Tallinn 12
Totale 8.848
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 1.328
Security Analysis of the OWASP Benchmark with Julia 612
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 325
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 248
Locking Discipline Inference and Checking 246
Static analysis for discovering IoT vulnerabilities 244
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains 238
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 226
Generalising Def and Pos to Type Analysis 214
Abstract Interpretation of Prolog Programs 209
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 208
A Foundation of Escape Analysis 201
Abstract Compilation for Sharing Analysis 199
A Refinement of the Escape Property 198
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 197
Analysis of Downward Closed Properties of Logic Programs 194
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements 190
A Thread-Safe Library for Binary Decision Diagrams 187
Class Analyses as Abstract Interpretations of Trace Semantics 185
Algebraic Methods in Language Processing, AMiLP 2003 179
Boolean Formulas for the Static Identification of Injection Attacks in Java 178
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 173
Static Identification of Injection Attacks in Java 172
Design and Implementation of Static Analyses for Tezos Smart Contracts 171
On-Chain Smart Contract Verification over Tendermint 171
Information Flow Analysis for Java Bytecode 169
Inferring Complete Initialization of Arrays 169
Semantics for Locking Specifications 169
On the use of generic types for smart contracts 167
Reachability Analysis of Program Variables 166
Tailoring Taint Analysis to GDPR 160
Finding the shortest path with PesCa: A tool for network reconstruction 160
Julia: A Generic Static Analyser for the Java Bytecode 158
Vulnerability analysis of Android auto infotainment apps 158
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 157
Reachability Analysis of Program Variables 157
Pair-Independence and Freeness Analysis through Linear Refinement 157
Deriving Escape Analysis by Abstract Interpretation 156
Static Analysis of Android Programs 156
A Termination Analyzer for Java Bytecode based on Path-Length 156
Class Analysis of Object-Oriented Programs through Abstract Interpretation 153
Automaton-Based Array Initialization Analysis 153
Definite Expression Aliasing Analysis for Java Bytecode 152
Static Analysis of Android Apps Interaction with Automotive CAN 149
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 148
An Operational Semantics for Android Activities 148
A Java Framework for Smart Contracts 148
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 146
SDLI: Static Detection of Leaks Across Intents 146
CIL to Java-bytecode translation for static analysis leveraging 145
Static Privacy Analysis by Flow Reconstruction of Tainted Data 142
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 139
Pair-Sharing Analysis of Object-Oriented Programs 139
The Julia Static Analyzer for Java 139
Fungible and non-fungible tokens with snapshots in Java 138
Creating, generating and comparing random network models with NetworkRandomizer 138
Information Flow is Linear Refinement of Constancy 136
Freeness Analysis through Linear Refinement 135
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 133
Power and Pitfalls of Generic Smart Contracts 133
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 132
Precise Null-Pointer Analysis 132
Static analysis of Android Auto infotainment and on-board diagnostics II apps 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 126
Static Analysis of Android Programs 126
The Nullness Analyser of Julia 124
Cross-Programming Language Taint Analysis for the IoT Ecosystem 124
Logic Programs as Compact Denotations 124
Logic Programs as Compact Denotations 121
Special track on Software Verification 121
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 118
Static Analysis for JML's assignable Clauses 114
Path-Length Analysis for Object-Oriented Programs 113
Software Verification Challenges in the Blockchain Ecosystem 110
Experiments with Non-Termination Analysis for Java Bytecode 110
Magic-sets for localised analysis of Java bytecode 109
Magic-Sets Transformation for the Analysis of Java Bytecode 108
Inference of Field Initialization 106
Constancy Analysis 105
Field-sensitive unreachability and non-cyclicity analysis 105
Cross-Program Taint Analysis for IoT Systems 102
Optimality and Condensing of Information Flow through Linear Refinement 99
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 99
Intents Analysis of Android Apps for Confidentiality Leakage Detection 93
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 92
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 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. 80
On the Termination of Borrow Checking in Featherweight Rust 70
A Smart Contract Architecture Using Hierarchical Factory Pattern and Multirole Access Control 13
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 1
A Formalization of Signum’s Consensus 1
An Application Layer with Protocol-based Java Smart Contract Verification 1
Totale 15.679
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.823
article - articoli 15.122
book - libri 0
conference - conferenze 30.920
curatela - curatele 1.781
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 95.646
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021152 0 0 0 0 0 0 0 0 0 0 0 152
2021/2022832 35 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.531 450 467 628 915 1.476 478 663 375 458 370 120 131
Totale 15.679