FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.380
AS - Asia 4.588
EU - Europa 4.543
SA - Sud America 412
Continente sconosciuto - Info sul continente non disponibili 288
AF - Africa 94
OC - Oceania 21
Totale 18.326
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.167
SG - Singapore 1.385
CN - Cina 1.331
IT - Italia 1.281
RU - Federazione Russa 1.136
VN - Vietnam 734
PL - Polonia 576
BR - Brasile 315
HK - Hong Kong 307
DE - Germania 305
UA - Ucraina 213
IE - Irlanda 194
GB - Regno Unito 164
JP - Giappone 163
CA - Canada 157
IN - India 144
FR - Francia 132
KR - Corea 132
SE - Svezia 132
FI - Finlandia 128
BD - Bangladesh 91
NL - Olanda 73
TR - Turchia 48
AT - Austria 43
AR - Argentina 40
ID - Indonesia 37
MX - Messico 32
IQ - Iraq 28
BE - Belgio 27
PK - Pakistan 25
CH - Svizzera 24
PH - Filippine 23
ZA - Sudafrica 22
ES - Italia 19
LV - Lettonia 19
MY - Malesia 18
TW - Taiwan 18
TH - Thailandia 17
AU - Australia 16
BJ - Benin 16
VE - Venezuela 16
MA - Marocco 13
EC - Ecuador 12
HU - Ungheria 11
CO - Colombia 10
LT - Lituania 10
AE - Emirati Arabi Uniti 9
DZ - Algeria 9
IR - Iran 9
RO - Romania 9
UZ - Uzbekistan 9
CL - Cile 8
JM - Giamaica 8
GR - Grecia 7
IL - Israele 7
JO - Giordania 7
KE - Kenya 7
CY - Cipro 6
NP - Nepal 6
PT - Portogallo 6
EG - Egitto 5
ET - Etiopia 5
LB - Libano 5
OM - Oman 5
SA - Arabia Saudita 5
SI - Slovenia 5
UY - Uruguay 5
BG - Bulgaria 4
CR - Costa Rica 4
NG - Nigeria 4
NZ - Nuova Zelanda 4
AO - Angola 3
AZ - Azerbaigian 3
DK - Danimarca 3
EU - Europa 3
HN - Honduras 3
LU - Lussemburgo 3
NO - Norvegia 3
PE - Perù 3
PS - Palestinian Territory 3
RS - Serbia 3
TN - Tunisia 3
BB - Barbados 2
BO - Bolivia 2
CG - Congo 2
EE - Estonia 2
HR - Croazia 2
KW - Kuwait 2
MT - Malta 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
AG - Antigua e Barbuda 1
AL - Albania 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BY - Bielorussia 1
BZ - Belize 1
CI - Costa d'Avorio 1
Totale 18.022
Salva come PNG Salva come JPEG
Città #
Ashburn 1.290
Singapore 718
Fairfield 663
Chandler 603
Warsaw 566
Woodbridge 514
Council Bluffs 451
San Jose 416
Seattle 293
Houston 288
Jacksonville 275
Hong Kong 271
Ann Arbor 261
Wilmington 252
Dallas 247
Cambridge 235
Ho Chi Minh City 208
Venice 202
Dublin 182
Beijing 170
Hanoi 167
New York 161
Boardman 126
Tokyo 116
Jinan 112
Los Angeles 110
Seoul 108
Verona 105
Milan 95
The Dalles 94
Guangzhou 81
Shenyang 79
Ottawa 78
Hefei 72
San Mateo 67
Nanjing 63
Des Moines 62
Lauterbourg 62
Santa Clara 60
Andover 58
Boston 57
Munich 54
Helsinki 53
Treviso 51
São Paulo 50
Chicago 48
Mülheim 48
Bengaluru 47
Princeton 44
Columbus 42
Udine 42
Venezia 40
Buffalo 39
Da Nang 39
Frankfurt am Main 39
Hebei 39
Tianjin 37
Hangzhou 36
Moscow 36
Phoenix 34
Dearborn 33
London 31
Taiyuan 31
Taizhou 31
Vienna 31
Orem 30
Ningbo 29
Mestre 28
Haiphong 27
Parma 27
Toronto 27
Zhengzhou 27
Haikou 26
Izmir 26
Jakarta 26
San Diego 25
Altamura 24
Bologna 24
Chennai 24
Bremen 23
Fuzhou 23
Amsterdam 22
Rome 22
Jiaxing 21
San Paolo di Civitate 21
Brussels 20
Changsha 20
Nanchang 20
Berlin 19
Brooklyn 19
Memphis 19
Montreal 19
Shanghai 19
Cotonou 16
Paris 16
Poplar 16
Nuremberg 15
Saint Petersburg 15
San Francisco 15
Denver 14
Totale 11.777
Salva come PNG Salva come JPEG
Nome #
Static analysis via abstract interpretation of multithreaded programs 1.069
Static analysis for discovering IoT vulnerabilities 509
Combining symbolic and numerical domains for information leakage analysis 504
A Survey on Product Operators in Abstract Interpretation 490
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 475
Static analysis of android apps interaction with automotive CAN 473
Vulnerability analysis of android auto infotainment apps 450
DAPA: Degradation-Aware Privacy Analysis of Android Apps 409
Cross-Program Taint Analysis for IoT Systems 390
Information Flow Analysis for Detecting Non-Determinism in Blockchain 387
A suite of abstract domains for static analysis of string values 378
CIL to Java-bytecode translation for static analysis leveraging 367
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 344
Linear approximation of continuous systems with Trapezoid Step Functions 337
Cross-Programming Language Taint Analysis for the IoT Ecosystem 330
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 326
Certifying decision trees against evasion attacks by program analysis 325
Static Analysis of String Values 323
Static Identification of Injection Attacks in Java 317
SAILS: Static Analysis of Information Leakage with Sample 316
The abstract domain of Trapezoid Step Functions 301
SDLI: Static Detection of Leaks Across Intents 299
Automating ROS2 Security Policies Extraction through Static Analysis 292
LiSA: A Generic Framework for Multilanguage Static Analysis 287
Static analysis for dummies: experiencing LiSA 275
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 274
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 271
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 265
Twinning Automata and Regular Expressions for String Static Analysis 262
Pinpointing mobile malware using code analysis 259
Intents Analysis of Android Apps for Confidentiality Leakage Detection 248
Foraging goes mobile: Foraging while debugging on mobile devices 246
Static Analysis Techniques for Robotics Software Verification 244
A generic framework for heap and value analyses of object-oriented programming languages 235
Visual configuration of mobile privacy policies 226
FASE: Functionality-aware security enforcement 216
Checkmate: A generic static analyzer of Java multithreaded programs 214
European Union Data Act and Blockchain Technology: Challenges and New Directions 206
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 204
Certifying machine learning models against evasion attacks by program analysis 196
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 195
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 194
Static Privacy Analysis by Flow Reconstruction of Tainted Data 193
Relational String Abstract Domains 192
Challenges of software verification: the past, the present, the future 191
Detection of Phantom Reads in Hyperledger Fabric 190
Tailoring Taint Analysis to GDPR 189
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 188
Teaching Through Practice: Advanced Static Analysis with LiSA 187
Using abstract interpretation to correct synchronization faults 184
SARL: OO Framework Specification for Static Analysis 182
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 176
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 166
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 164
Static analysis of the determinism of multithreaded programs 155
Static analysis via abstract interpretation of the happens-before memory model 154
Safer unsafe code for .net 147
Tarsis: An effective automata-based abstract domain for string analysis 142
Inference of access policies through static analysis 139
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 134
Safer unsafe code for .NET 133
Security Analysis of the OWASP Benchmark with Julia 132
Challenges of software verification 126
Preface 126
Static Analysis for GDPR Compliance 121
Lifting String Analysis Domains 121
From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity 116
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 110
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning 106
An Overview of Termination in the Ethereum Blockchain 97
Welcome from the Chairs 89
State of the art in program analysis 48
Totale 18.326
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.046
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 55.046
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.233 0 257 140 155 77 20 76 30 23 119 199 137
2022/20231.547 87 176 29 180 179 365 59 100 167 12 124 69
2023/2024750 48 47 35 34 99 145 58 38 57 24 79 86
2024/20251.997 65 65 149 139 143 125 306 156 269 237 224 119
2025/20267.615 437 304 438 474 1.017 515 754 426 1.872 566 328 484
2026/2027514 306 208 0 0 0 0 0 0 0 0 0 0
Totale 18.326