CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.313
EU - Europa 5.250
AS - Asia 3.765
SA - Sud America 516
AF - Africa 163
OC - Oceania 116
Continente sconosciuto - Info sul continente non disponibili 9
Totale 15.132
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.174
RU - Federazione Russa 1.735
SG - Singapore 1.444
CN - Cina 981
GB - Regno Unito 919
IT - Italia 679
BR - Brasile 401
DE - Germania 373
VN - Vietnam 315
SE - Svezia 290
HK - Hong Kong 285
FR - Francia 279
IE - Irlanda 261
FI - Finlandia 211
KR - Corea 124
IN - India 123
NL - Olanda 120
ID - Indonesia 114
AU - Australia 111
CA - Canada 75
UA - Ucraina 68
ZA - Sudafrica 60
PK - Pakistan 49
BE - Belgio 45
JP - Giappone 39
AR - Argentina 36
NO - Norvegia 36
TR - Turchia 33
MX - Messico 32
BD - Bangladesh 31
IQ - Iraq 31
ES - Italia 28
PL - Polonia 26
SA - Arabia Saudita 24
MY - Malesia 23
TW - Taiwan 23
GR - Grecia 22
CO - Colombia 21
NG - Nigeria 21
EC - Ecuador 20
AT - Austria 17
DK - Danimarca 17
AE - Emirati Arabi Uniti 15
IL - Israele 15
RO - Romania 15
CH - Svizzera 13
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
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
JM - Giamaica 6
KZ - Kazakistan 6
LK - Sri Lanka 6
NP - Nepal 6
PE - Perù 6
AO - Angola 5
CY - Cipro 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
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
GH - Ghana 2
Totale 15.091
Salva come PNG Salva come JPEG
Città #
Singapore 841
Dallas 708
Ashburn 585
Southend 534
Moscow 527
Chandler 517
San Jose 480
Jacksonville 452
Woodbridge 281
Hong Kong 266
Dublin 244
Verona 231
Houston 196
The Dalles 159
Ann Arbor 128
Beijing 89
Helsinki 89
Ho Chi Minh City 89
Los Angeles 88
Jinan 83
Lawrence 83
Princeton 81
Milan 74
Hanoi 67
Wilmington 67
Nanjing 59
Jakarta 53
Shenyang 50
Sindelfingen 48
New York 46
Sydney 45
Buffalo 44
Hebei 42
Santa Clara 41
Seattle 40
Columbus 39
Tianjin 39
Zhengzhou 34
São Paulo 33
Dong Ket 32
Boardman 30
Frankfurt am Main 30
Haikou 30
Amsterdam 29
Tokyo 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
Chicago 19
Montreal 19
Nanchang 19
North Charleston 19
Paris 19
Boston 18
Genoa 18
Manchester 18
Ningbo 18
Council Bluffs 17
Gangnam-gu 17
Brooklyn 16
Chennai 16
Perth 16
Abuja 15
Brisbane 15
Da Nang 15
Enschede 15
Munich 15
Fairfield 14
Jiaxing 14
Leeds 14
Norwalk 14
Riyadh 14
Washington 14
Bristol 13
Denver 13
Lanzhou 13
Palermo 13
Phoenix 13
Rotterdam 13
San José 13
Taizhou 13
Toronto 13
Vienna 13
Fuzhou 12
Madrid 12
Nuremberg 12
Orem 12
Southampton 12
Tallinn 12
Totale 8.698
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 1.290
Security Analysis of the OWASP Benchmark with Julia 609
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 322
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 245
Locking Discipline Inference and Checking 242
Static analysis for discovering IoT vulnerabilities 241
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains 233
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 220
Generalising Def and Pos to Type Analysis 211
Abstract Interpretation of Prolog Programs 208
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 208
A Foundation of Escape Analysis 199
Abstract Compilation for Sharing Analysis 197
A Refinement of the Escape Property 197
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 196
Analysis of Downward Closed Properties of Logic Programs 191
A Thread-Safe Library for Binary Decision Diagrams 185
Class Analyses as Abstract Interpretations of Trace Semantics 183
Algebraic Methods in Language Processing, AMiLP 2003 178
Boolean Formulas for the Static Identification of Injection Attacks in Java 178
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements 178
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 170
On-Chain Smart Contract Verification over Tendermint 169
Inferring Complete Initialization of Arrays 168
Information Flow Analysis for Java Bytecode 167
Semantics for Locking Specifications 167
Static Identification of Injection Attacks in Java 167
Design and Implementation of Static Analyses for Tezos Smart Contracts 165
On the use of generic types for smart contracts 164
Reachability Analysis of Program Variables 162
Tailoring Taint Analysis to GDPR 160
Julia: A Generic Static Analyser for the Java Bytecode 158
Vulnerability analysis of Android auto infotainment apps 156
A Termination Analyzer for Java Bytecode based on Path-Length 156
Finding the shortest path with PesCa: A tool for network reconstruction 156
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 155
Deriving Escape Analysis by Abstract Interpretation 155
Pair-Independence and Freeness Analysis through Linear Refinement 155
Reachability Analysis of Program Variables 154
Class Analysis of Object-Oriented Programs through Abstract Interpretation 151
Static Analysis of Android Programs 149
Automaton-Based Array Initialization Analysis 148
Definite Expression Aliasing Analysis for Java Bytecode 148
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 147
An Operational Semantics for Android Activities 147
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 146
SDLI: Static Detection of Leaks Across Intents 144
A Java Framework for Smart Contracts 144
Static Analysis of Android Apps Interaction with Automotive CAN 143
CIL to Java-bytecode translation for static analysis leveraging 140
Fungible and non-fungible tokens with snapshots in Java 138
Creating, generating and comparing random network models with NetworkRandomizer 138
Static Privacy Analysis by Flow Reconstruction of Tainted Data 138
Pair-Sharing Analysis of Object-Oriented Programs 137
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 136
Information Flow is Linear Refinement of Constancy 136
The Julia Static Analyzer for Java 134
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 132
Static analysis of Android Auto infotainment and on-board diagnostics II apps 131
Freeness Analysis through Linear Refinement 131
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 130
Precise Null-Pointer Analysis 130
Power and Pitfalls of Generic Smart Contracts 129
Analysing omics data sets with weighted nodes networks (WNNets) 127
Non Pair-Sharing and Freeness Analysis through Linear Refinement 126
Static Analysis of Android Programs 124
The Nullness Analyser of Julia 122
Cross-Programming Language Taint Analysis for the IoT Ecosystem 122
Logic Programs as Compact Denotations 122
Logic Programs as Compact Denotations 121
Special track on Software Verification 117
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 117
Static Analysis for JML's assignable Clauses 114
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern 112
Path-Length Analysis for Object-Oriented Programs 112
Experiments with Non-Termination Analysis for Java Bytecode 109
Magic-Sets Transformation for the Analysis of Java Bytecode 108
Software Verification Challenges in the Blockchain Ecosystem 107
Magic-sets for localised analysis of Java bytecode 107
Field-sensitive unreachability and non-cyclicity analysis 104
Constancy Analysis 103
Inference of Field Initialization 103
Cross-Program Taint Analysis for IoT Systems 100
Optimality and Condensing of Information Flow through Linear Refinement 99
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 98
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 92
Intents Analysis of Android Apps for Confidentiality Leakage Detection 91
MichelsonLiSA: A Static Analyzer for Tezos 90
Nullness Analysis in Boolean Form 90
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 87
Information Flow Analysis for Detecting Non-Determinism in Blockchain 84
Enforcing Determinism of Java Smart Contracts 80
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. 76
On the Termination of Borrow Checking in Featherweight Rust 67
Totale 15.393
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.030
article - articoli 14.155
book - libri 0
conference - conferenze 29.192
curatela - curatele 1.683
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 90.060
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021247 0 0 0 0 0 0 0 0 0 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/20266.245 450 467 628 915 1.476 478 663 375 458 335 0 0
Totale 15.393