FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.977
AS - Asia 4.540
EU - Europa 4.458
SA - Sud America 401
AF - Africa 93
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 5
Totale 17.494
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.796
SG - Singapore 1.379
CN - Cina 1.324
IT - Italia 1.233
RU - Federazione Russa 1.136
VN - Vietnam 731
PL - Polonia 575
BR - Brasile 311
DE - Germania 305
HK - Hong Kong 304
UA - Ucraina 213
IE - Irlanda 194
JP - Giappone 163
GB - Regno Unito 162
IN - India 142
CA - Canada 140
FR - Francia 132
KR - Corea 132
FI - Finlandia 126
SE - Svezia 106
NL - Olanda 71
BD - Bangladesh 64
TR - Turchia 48
AT - Austria 43
AR - Argentina 38
ID - Indonesia 37
MX - Messico 30
IQ - Iraq 28
BE - Belgio 27
PK - Pakistan 25
CH - Svizzera 24
PH - Filippine 23
ZA - Sudafrica 22
ES - Italia 18
LV - Lettonia 18
MY - Malesia 18
TW - Taiwan 18
TH - Thailandia 17
BJ - Benin 16
AU - Australia 15
VE - Venezuela 15
MA - Marocco 13
EC - Ecuador 11
HU - Ungheria 11
LT - Lituania 10
AE - Emirati Arabi Uniti 9
DZ - Algeria 9
IR - Iran 9
RO - Romania 9
UZ - Uzbekistan 9
CL - Cile 8
CO - Colombia 8
GR - Grecia 7
IL - Israele 7
JO - Giordania 7
KE - Kenya 7
CY - Cipro 6
JM - Giamaica 6
NP - Nepal 6
ET - Etiopia 5
LB - Libano 5
OM - Oman 5
SA - Arabia Saudita 5
SI - Slovenia 5
UY - Uruguay 5
BG - Bulgaria 4
EG - Egitto 4
NG - Nigeria 4
NZ - Nuova Zelanda 4
PT - Portogallo 4
AO - Angola 3
AZ - Azerbaigian 3
DK - Danimarca 3
EU - Europa 3
LU - Lussemburgo 3
NO - Norvegia 3
PS - Palestinian Territory 3
RS - Serbia 3
TN - Tunisia 3
BO - Bolivia 2
CG - Congo 2
CR - Costa Rica 2
EE - Estonia 2
HR - Croazia 2
KW - Kuwait 2
MT - Malta 2
PE - Perù 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
KG - Kirghizistan 1
KZ - Kazakistan 1
Totale 17.479
Salva come PNG Salva come JPEG
Città #
Ashburn 1.183
Singapore 718
Fairfield 663
Chandler 603
Warsaw 565
Woodbridge 514
San Jose 411
Council Bluffs 399
Seattle 293
Houston 288
Jacksonville 275
Hong Kong 270
Ann Arbor 261
Wilmington 252
Dallas 239
Cambridge 235
Ho Chi Minh City 208
Venice 195
Dublin 182
Beijing 169
Hanoi 164
New York 160
Boardman 126
Tokyo 116
Jinan 112
Seoul 108
Verona 103
Los Angeles 101
The Dalles 94
Milan 88
Guangzhou 81
Shenyang 79
Ottawa 78
Hefei 72
San Mateo 67
Nanjing 63
Des Moines 62
Lauterbourg 62
Andover 58
Boston 57
Munich 54
Helsinki 51
Santa Clara 51
Treviso 51
São Paulo 50
Mülheim 48
Bengaluru 47
Princeton 44
Chicago 42
Udine 42
Columbus 40
Venezia 40
Da Nang 39
Frankfurt am Main 39
Hebei 39
Buffalo 37
Tianjin 37
Hangzhou 36
Moscow 36
Dearborn 33
Phoenix 33
Taiyuan 31
Taizhou 31
Vienna 31
London 30
Orem 30
Ningbo 29
Mestre 28
Haiphong 27
Zhengzhou 27
Haikou 26
Izmir 26
Jakarta 26
San Diego 25
Altamura 24
Bologna 24
Chennai 24
Parma 24
Fuzhou 23
Toronto 23
Amsterdam 22
Bremen 22
Jiaxing 21
San Paolo di Civitate 21
Brussels 20
Changsha 20
Nanchang 20
Berlin 19
Memphis 19
Rome 19
Shanghai 19
Brooklyn 18
Montreal 18
Cotonou 16
Paris 16
Poplar 16
Nuremberg 15
Saint Petersburg 15
San Francisco 15
Johannesburg 14
Totale 11.537
Salva come PNG Salva come JPEG
Nome #
Static analysis via abstract interpretation of multithreaded programs 1.062
Combining symbolic and numerical domains for information leakage analysis 497
Static analysis for discovering IoT vulnerabilities 495
A Survey on Product Operators in Abstract Interpretation 485
Static analysis of android apps interaction with automotive CAN 471
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 460
Vulnerability analysis of android auto infotainment apps 446
DAPA: Degradation-Aware Privacy Analysis of Android Apps 402
Cross-Program Taint Analysis for IoT Systems 386
A suite of abstract domains for static analysis of string values 372
Information Flow Analysis for Detecting Non-Determinism in Blockchain 370
CIL to Java-bytecode translation for static analysis leveraging 359
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 336
Linear approximation of continuous systems with Trapezoid Step Functions 332
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 324
Certifying decision trees against evasion attacks by program analysis 320
Cross-Programming Language Taint Analysis for the IoT Ecosystem 319
Static Analysis of String Values 317
Static Identification of Injection Attacks in Java 314
SAILS: Static Analysis of Information Leakage with Sample 307
SDLI: Static Detection of Leaks Across Intents 298
The abstract domain of Trapezoid Step Functions 297
Automating ROS2 Security Policies Extraction through Static Analysis 280
LiSA: A Generic Framework for Multilanguage Static Analysis 273
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 267
Static analysis for dummies: experiencing LiSA 267
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 265
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 261
Twinning Automata and Regular Expressions for String Static Analysis 255
Pinpointing mobile malware using code analysis 249
Intents Analysis of Android Apps for Confidentiality Leakage Detection 243
Static Analysis Techniques for Robotics Software Verification 241
Foraging goes mobile: Foraging while debugging on mobile devices 240
A generic framework for heap and value analyses of object-oriented programming languages 226
Visual configuration of mobile privacy policies 221
Checkmate: A generic static analyzer of Java multithreaded programs 209
FASE: Functionality-aware security enforcement 207
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 196
European Union Data Act and Blockchain Technology: Challenges and New Directions 190
Certifying machine learning models against evasion attacks by program analysis 186
Detection of Phantom Reads in Hyperledger Fabric 185
Static Privacy Analysis by Flow Reconstruction of Tainted Data 185
Tailoring Taint Analysis to GDPR 183
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 182
Relational String Abstract Domains 182
Teaching Through Practice: Advanced Static Analysis with LiSA 181
Using abstract interpretation to correct synchronization faults 179
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 178
SARL: OO Framework Specification for Static Analysis 177
Challenges of software verification: the past, the present, the future 171
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 168
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 163
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 160
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 157
Static analysis of the determinism of multithreaded programs 151
Static analysis via abstract interpretation of the happens-before memory model 150
Safer unsafe code for .net 145
Inference of access policies through static analysis 134
Tarsis: An effective automata-based abstract domain for string analysis 133
Safer unsafe code for .NET 129
Security Analysis of the OWASP Benchmark with Julia 125
Preface 123
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 120
Lifting String Analysis Domains 118
Challenges of software verification 117
Static Analysis for GDPR Compliance 115
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 105
From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity 102
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning 98
An Overview of Termination in the Ethereum Blockchain 91
Welcome from the Chairs 82
State of the art in program analysis 42
Totale 17.776
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.811
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 52.811
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021145 0 0 0 0 0 0 0 0 0 0 0 145
2021/20221.350 117 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.579 437 304 438 474 1.017 515 754 426 1.872 566 328 448
Totale 17.776