CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.790
NA - Nord America 4.261
AS - Asia 2.886
SA - Sud America 447
OC - Oceania 116
AF - Africa 108
Continente sconosciuto - Info sul continente non disponibili 9
Totale 12.617
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.140
RU - Federazione Russa 1.564
SG - Singapore 970
CN - Cina 920
GB - Regno Unito 878
IT - Italia 541
BR - Brasile 355
DE - Germania 349
SE - Svezia 288
HK - Hong Kong 265
FR - Francia 264
IE - Irlanda 255
FI - Finlandia 203
VN - Vietnam 167
AU - Australia 111
ID - Indonesia 107
NL - Olanda 106
IN - India 95
KR - Corea 86
CA - Canada 68
UA - Ucraina 66
ZA - Sudafrica 45
BE - Belgio 43
PK - Pakistan 38
NO - Norvegia 31
AR - Argentina 29
MX - Messico 28
JP - Giappone 27
ES - Italia 24
TR - Turchia 24
PL - Polonia 23
GR - Grecia 21
IQ - Iraq 21
TW - Taiwan 21
SA - Arabia Saudita 20
CO - Colombia 19
DK - Danimarca 17
EC - Ecuador 16
AT - Austria 15
IL - Israele 15
RO - Romania 14
LV - Lettonia 13
MY - Malesia 13
PT - Portogallo 13
AE - Emirati Arabi Uniti 12
BD - Bangladesh 12
EE - Estonia 12
CR - Costa Rica 10
AZ - Azerbaigian 9
CH - Svizzera 9
CL - Cile 9
LT - Lituania 8
TH - Thailandia 8
MA - Marocco 7
TG - Togo 7
BG - Bulgaria 6
BJ - Benin 6
JO - Giordania 6
LK - Sri Lanka 6
PY - Paraguay 6
UZ - Uzbekistan 6
CY - Cipro 5
DZ - Algeria 5
JM - Giamaica 5
LU - Lussemburgo 5
PE - Perù 5
PH - Filippine 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AO - Angola 4
BF - Burkina Faso 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
EU - Europa 4
KE - Kenya 4
MO - Macao, regione amministrativa speciale della Cina 4
MU - Mauritius 4
NG - Nigeria 4
NP - Nepal 4
NZ - Nuova Zelanda 4
RE - Reunion 4
RS - Serbia 4
VE - Venezuela 4
IS - Islanda 3
SD - Sudan 3
SK - Slovacchia (Repubblica Slovacca) 3
AL - Albania 2
AM - Armenia 2
BO - Bolivia 2
BW - Botswana 2
GH - Ghana 2
HU - Ungheria 2
IR - Iran 2
KG - Kirghizistan 2
KW - Kuwait 2
KZ - Kazakistan 2
MD - Moldavia 2
OM - Oman 2
PS - Palestinian Territory 2
UY - Uruguay 2
BA - Bosnia-Erzegovina 1
Totale 12.595
Salva come PNG Salva come JPEG
Città #
Dallas 704
Southend 534
Chandler 517
Moscow 467
Jacksonville 452
Singapore 404
Ashburn 295
Woodbridge 281
Hong Kong 252
Dublin 240
Houston 192
Ann Arbor 127
Verona 127
Beijing 86
Helsinki 86
Jinan 83
Lawrence 83
Princeton 81
The Dalles 80
Los Angeles 74
Milan 70
Wilmington 67
Nanjing 58
Jakarta 52
Shenyang 50
Sindelfingen 48
Sydney 45
Buffalo 44
Hebei 42
Ho Chi Minh City 40
Seattle 40
Columbus 39
Santa Clara 37
Tianjin 37
New York 36
Zhengzhou 34
Dong Ket 32
Haikou 30
Redondo Beach 28
São Paulo 28
Boardman 27
Amsterdam 26
Hanoi 26
Changsha 25
Brussels 24
Guangzhou 24
Rome 24
San Francisco 24
London 23
Oslo 23
Frankfurt am Main 22
Johannesburg 21
Taiyuan 21
Hangzhou 19
Nanchang 19
Stockholm 19
Boston 18
Genoa 18
Manchester 18
Ningbo 18
Tokyo 18
Lahore 17
Montreal 17
Paris 17
Chicago 16
Perth 16
Brisbane 15
Brooklyn 15
Enschede 15
Munich 15
Berlin 14
Fairfield 14
Jiaxing 14
Leeds 14
North Charleston 14
Norwalk 14
Washington 14
Lanzhou 13
Phoenix 13
Riyadh 13
Taizhou 13
Bristol 12
Chennai 12
Denver 12
Fuzhou 12
Nuremberg 12
Palermo 12
Southampton 12
Tallinn 12
Toronto 12
Vienna 12
Cambridge 11
Dearborn 11
Madrid 11
Nettuno 11
Council Bluffs 10
Edinburgh 10
Falkenstein 10
Melbourne 10
Mexico City 10
Totale 6.986
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 1.186
Security Analysis of the OWASP Benchmark with Julia 575
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 284
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 223
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains 202
Locking Discipline Inference and Checking 193
Abstract Interpretation of Prolog Programs 187
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 187
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 179
A Foundation of Escape Analysis 173
Analysis of Downward Closed Properties of Logic Programs 170
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 170
Abstract Compilation for Sharing Analysis 165
A Refinement of the Escape Property 164
A Thread-Safe Library for Binary Decision Diagrams 159
Generalising Def and Pos to Type Analysis 155
Algebraic Methods in Language Processing, AMiLP 2003 153
Design and Implementation of Static Analyses for Tezos Smart Contracts 149
Class Analyses as Abstract Interpretations of Trace Semantics 149
Semantics for Locking Specifications 146
Information Flow Analysis for Java Bytecode 144
Boolean Formulas for the Static Identification of Injection Attacks in Java 142
Static analysis for discovering IoT vulnerabilities 142
Inferring Complete Initialization of Arrays 141
On-Chain Smart Contract Verification over Tendermint 140
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 138
Vulnerability analysis of Android auto infotainment apps 137
Reachability Analysis of Program Variables 136
Pair-Independence and Freeness Analysis through Linear Refinement 136
Static Identification of Injection Attacks in Java 135
Class Analysis of Object-Oriented Programs through Abstract Interpretation 134
Julia: A Generic Static Analyser for the Java Bytecode 134
Tailoring Taint Analysis to GDPR 133
On the use of generic types for smart contracts 132
A Termination Analyzer for Java Bytecode based on Path-Length 131
Automaton-Based Array Initialization Analysis 128
An Operational Semantics for Android Activities 128
Definite Expression Aliasing Analysis for Java Bytecode 127
Finding the shortest path with PesCa: A tool for network reconstruction 127
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 126
Deriving Escape Analysis by Abstract Interpretation 126
SDLI: Static Detection of Leaks Across Intents 126
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 123
Reachability Analysis of Program Variables 123
Static Privacy Analysis by Flow Reconstruction of Tainted Data 123
CIL to Java-bytecode translation for static analysis leveraging 122
Static Analysis of Android Apps Interaction with Automotive CAN 121
A Java Framework for Smart Contracts 121
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 120
Static Analysis of Android Programs 119
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements 118
Pair-Sharing Analysis of Object-Oriented Programs 116
Fungible and non-fungible tokens with snapshots in Java 115
The Julia Static Analyzer for Java 111
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 109
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 109
Creating, generating and comparing random network models with NetworkRandomizer 109
Non Pair-Sharing and Freeness Analysis through Linear Refinement 107
Information Flow is Linear Refinement of Constancy 107
Static analysis of Android Auto infotainment and on-board diagnostics II apps 105
Freeness Analysis through Linear Refinement 105
Power and Pitfalls of Generic Smart Contracts 104
Precise Null-Pointer Analysis 103
Cross-Programming Language Taint Analysis for the IoT Ecosystem 102
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 102
Static Analysis of Android Programs 101
Special track on Software Verification 100
Logic Programs as Compact Denotations 99
Logic Programs as Compact Denotations 98
The Nullness Analyser of Julia 98
Analysing omics data sets with weighted nodes networks (WNNets) 97
Static Analysis for JML's assignable Clauses 97
Constancy Analysis 92
Path-Length Analysis for Object-Oriented Programs 92
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 91
Experiments with Non-Termination Analysis for Java Bytecode 91
Inference of Field Initialization 87
Magic-Sets Transformation for the Analysis of Java Bytecode 83
Field-sensitive unreachability and non-cyclicity analysis 83
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 82
Optimality and Condensing of Information Flow through Linear Refinement 81
Cross-Program Taint Analysis for IoT Systems 80
Magic-sets for localised analysis of Java bytecode 79
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 79
Intents Analysis of Android Apps for Confidentiality Leakage Detection 76
Nullness Analysis in Boolean Form 74
Enforcing Determinism of Java Smart Contracts 72
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern 71
MichelsonLiSA: A Static Analyzer for Tezos 71
Software Verification Challenges in the Blockchain Ecosystem 69
Information Flow Analysis for Detecting Non-Determinism in Blockchain 68
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 65
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. 51
On the Termination of Borrow Checking in Featherweight Rust 45
Totale 12.878
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.410
article - articoli 12.467
book - libri 0
conference - conferenze 26.402
curatela - curatele 1.541
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 80.820
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021536 0 0 0 0 78 92 4 43 72 2 93 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/20263.730 450 467 628 915 1.270 0 0 0 0 0 0 0
Totale 12.878