FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.370
EU - Europa 3.031
AS - Asia 2.844
SA - Sud America 325
AF - Africa 48
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 5
Totale 12.641
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.233
CN - Cina 1.156
IT - Italia 1.007
SG - Singapore 956
PL - Polonia 570
DE - Germania 276
BR - Brasile 271
HK - Hong Kong 238
UA - Ucraina 209
IE - Irlanda 189
RU - Federazione Russa 147
GB - Regno Unito 137
CA - Canada 120
FI - Finlandia 111
IN - India 102
SE - Svezia 101
VN - Vietnam 95
JP - Giappone 74
FR - Francia 57
NL - Olanda 55
TR - Turchia 43
KR - Corea 42
AT - Austria 41
ID - Indonesia 31
AR - Argentina 27
BE - Belgio 26
CH - Svizzera 21
BD - Bangladesh 16
LV - Lettonia 16
MX - Messico 16
BJ - Benin 15
AU - Australia 13
ES - Italia 13
PK - Pakistan 13
IQ - Iraq 12
ZA - Sudafrica 12
HU - Ungheria 10
TW - Taiwan 9
IR - Iran 8
MA - Marocco 8
EC - Ecuador 7
RO - Romania 7
CL - Cile 6
CY - Cipro 6
IL - Israele 6
UZ - Uzbekistan 6
AE - Emirati Arabi Uniti 5
GR - Grecia 5
LT - Lituania 5
PH - Filippine 5
MY - Malesia 4
NZ - Nuova Zelanda 4
PT - Portogallo 4
UY - Uruguay 4
CO - Colombia 3
DK - Danimarca 3
DZ - Algeria 3
EU - Europa 3
LB - Libano 3
LU - Lussemburgo 3
NO - Norvegia 3
NP - Nepal 3
RS - Serbia 3
TN - Tunisia 3
VE - Venezuela 3
BG - Bulgaria 2
BO - Bolivia 2
EE - Estonia 2
EG - Egitto 2
KE - Kenya 2
MT - Malta 2
OM - Oman 2
PE - Perù 2
SA - Arabia Saudita 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
CZ - Repubblica Ceca 1
HR - Croazia 1
JM - Giamaica 1
JO - Giordania 1
KW - Kuwait 1
MD - Moldavia 1
MM - Myanmar 1
MO - Macao, regione amministrativa speciale della Cina 1
NC - Nuova Caledonia 1
NG - Nigeria 1
SD - Sudan 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 12.641
Salva come PNG Salva come JPEG
Città #
Ashburn 759
Fairfield 663
Chandler 603
Warsaw 562
Woodbridge 514
Singapore 504
Seattle 293
Houston 286
Jacksonville 275
Ann Arbor 258
Wilmington 252
Cambridge 235
Dallas 233
Hong Kong 223
Venice 185
Dublin 179
Beijing 161
New York 133
Boardman 116
Jinan 109
Verona 94
Council Bluffs 87
Shenyang 79
The Dalles 78
Ottawa 77
Los Angeles 74
Hefei 72
Guangzhou 71
San Mateo 67
Nanjing 62
Andover 58
Des Moines 58
Boston 56
Milan 54
Munich 54
Treviso 51
Mülheim 48
Bengaluru 45
São Paulo 45
Helsinki 44
Princeton 44
Udine 40
Venezia 40
Hebei 39
Chicago 36
Moscow 36
Hangzhou 35
Dearborn 33
Tianjin 33
Tokyo 33
Buffalo 32
Seoul 31
Taiyuan 31
Taizhou 31
Frankfurt am Main 30
Vienna 30
Ningbo 29
Ho Chi Minh City 28
London 27
Haikou 26
Izmir 26
Jakarta 26
Zhengzhou 26
Mestre 25
San Diego 25
Santa Clara 25
Altamura 24
Bremen 22
Bologna 21
Jiaxing 21
San Paolo di Civitate 21
Brussels 20
Changsha 20
Fuzhou 20
Phoenix 20
Toronto 20
Hanoi 19
Nanchang 19
Columbus 18
Brooklyn 17
Berlin 16
Chennai 15
Cotonou 15
Nuremberg 15
Saint Petersburg 15
Pune 14
Padova 13
Poplar 13
San Francisco 13
Shanghai 13
Amsterdam 12
Denver 12
Parma 12
Redondo Beach 12
Redwood City 12
Rome 12
Belo Horizonte 11
Montreal 11
Orem 11
Paris 11
Totale 9.174
Salva come PNG Salva come JPEG
Nome #
A Survey on Product Operators in Abstract Interpretation 434
Combining symbolic and numerical domains for information leakage analysis 429
Static analysis of android apps interaction with automotive CAN 409
Vulnerability analysis of android auto infotainment apps 400
Static analysis for discovering IoT vulnerabilities 395
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 393
DAPA: Degradation-Aware Privacy Analysis of Android Apps 351
Cross-Program Taint Analysis for IoT Systems 337
A suite of abstract domains for static analysis of string values 321
CIL to Java-bytecode translation for static analysis leveraging 313
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 301
Static Identification of Injection Attacks in Java 284
Linear approximation of continuous systems with Trapezoid Step Functions 282
Static Analysis of String Values 277
Information Flow Analysis for Detecting Non-Determinism in Blockchain 271
The abstract domain of Trapezoid Step Functions 266
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 263
SDLI: Static Detection of Leaks Across Intents 256
Certifying decision trees against evasion attacks by program analysis 256
SAILS: Static Analysis of Information Leakage with Sample 243
Cross-Programming Language Taint Analysis for the IoT Ecosystem 234
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 224
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 217
Pinpointing mobile malware using code analysis 215
Twinning Automata and Regular Expressions for String Static Analysis 212
Automating ROS2 Security Policies Extraction through Static Analysis 209
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 208
Static Analysis Techniques for Robotics Software Verification 207
Intents Analysis of Android Apps for Confidentiality Leakage Detection 205
Foraging goes mobile: Foraging while debugging on mobile devices 202
A generic framework for heap and value analyses of object-oriented programming languages 195
Static analysis for dummies: experiencing LiSA 192
Visual configuration of mobile privacy policies 186
LiSA: A Generic Framework for Multilanguage Static Analysis 182
Checkmate: A generic static analyzer of Java multithreaded programs 176
FASE: Functionality-aware security enforcement 168
Using abstract interpretation to correct synchronization faults 141
Relational String Abstract Domains 139
Tailoring Taint Analysis to GDPR 138
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 134
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 134
Static analysis of the determinism of multithreaded programs 132
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 128
Safer unsafe code for .net 126
Certifying machine learning models against evasion attacks by program analysis 125
Static analysis via abstract interpretation of the happens-before memory model 124
SARL: OO Framework Specification for Static Analysis 120
Detection of Phantom Reads in Hyperledger Fabric 119
Static Privacy Analysis by Flow Reconstruction of Tainted Data 116
Challenges of software verification: the past, the present, the future 115
Teaching Through Practice: Advanced Static Analysis with LiSA 108
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 108
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 105
European Union Data Act and Blockchain Technology: Challenges and New Directions 102
Safer unsafe code for .NET 102
Tarsis: An effective automata-based abstract domain for string analysis 90
Security Analysis of the OWASP Benchmark with Julia 88
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 87
Static Analysis for GDPR Compliance 84
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 83
Preface 76
Inference of access policies through static analysis 72
Lifting String Analysis Domains 71
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 61
Welcome from the Chairs 54
Static analysis via abstract interpretation of multithreaded programs 43
Challenges of software verification 29
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning 26
From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity 18
State of the art in program analysis 10
Totale 12.921
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.425
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 44.425
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.319 0 0 0 0 0 198 268 140 107 213 248 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/20262.724 437 304 438 474 1.017 54 0 0 0 0 0 0
Totale 12.921