FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.292
AS - Asia 4.455
EU - Europa 4.373
SA - Sud America 400
AF - Africa 93
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 5
Totale 16.638
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.127
SG - Singapore 1.358
CN - Cina 1.318
IT - Italia 1.159
RU - Federazione Russa 1.136
VN - Vietnam 726
PL - Polonia 575
BR - Brasile 310
DE - Germania 301
HK - Hong Kong 299
UA - Ucraina 213
IE - Irlanda 194
JP - Giappone 162
GB - Regno Unito 161
IN - India 140
FR - Francia 132
CA - Canada 130
KR - Corea 130
FI - Finlandia 126
SE - Svezia 105
NL - Olanda 69
TR - Turchia 47
AT - Austria 43
AR - Argentina 38
ID - Indonesia 37
BD - Bangladesh 30
IQ - Iraq 28
MX - Messico 28
BE - Belgio 26
CH - Svizzera 24
PK - Pakistan 24
PH - Filippine 23
ZA - Sudafrica 22
ES - Italia 18
LV - Lettonia 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
MY - Malesia 11
AE - Emirati Arabi Uniti 9
DZ - Algeria 9
IR - Iran 9
LT - Lituania 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
NP - Nepal 6
ET - Etiopia 5
LB - Libano 5
OM - Oman 5
SA - Arabia Saudita 5
SI - Slovenia 5
UY - Uruguay 5
EG - Egitto 4
JM - Giamaica 4
NG - Nigeria 4
NZ - Nuova Zelanda 4
PT - Portogallo 4
AO - Angola 3
AZ - Azerbaigian 3
BG - Bulgaria 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 16.625
Salva come PNG Salva come JPEG
Città #
Ashburn 1.078
Singapore 711
Fairfield 663
Chandler 603
Warsaw 565
Woodbridge 514
San Jose 363
Seattle 293
Houston 286
Jacksonville 275
Hong Kong 265
Ann Arbor 261
Wilmington 252
Cambridge 235
Dallas 234
Ho Chi Minh City 204
Venice 190
Dublin 182
Beijing 166
Hanoi 164
New York 151
Boardman 120
Tokyo 115
Jinan 112
Council Bluffs 108
Seoul 106
Verona 102
The Dalles 94
Los Angeles 93
Guangzhou 81
Milan 81
Shenyang 79
Ottawa 77
Hefei 72
San Mateo 67
Nanjing 63
Des Moines 62
Lauterbourg 62
Andover 58
Boston 56
Munich 54
Helsinki 51
Treviso 51
São Paulo 50
Mülheim 48
Bengaluru 47
Princeton 44
Chicago 41
Santa Clara 41
Udine 40
Venezia 40
Da Nang 39
Frankfurt am Main 39
Hebei 39
Tianjin 37
Hangzhou 36
Moscow 36
Buffalo 34
Dearborn 33
Taiyuan 31
Taizhou 31
Vienna 31
London 29
Ningbo 29
Orem 29
Mestre 28
Phoenix 28
Haiphong 27
Zhengzhou 27
Haikou 26
Izmir 26
Jakarta 26
San Diego 25
Altamura 24
Chennai 24
Fuzhou 23
Parma 23
Amsterdam 22
Bologna 22
Bremen 22
Jiaxing 21
San Paolo di Civitate 21
Toronto 21
Brussels 20
Changsha 20
Nanchang 20
Shanghai 19
Berlin 18
Columbus 18
Rome 18
Brooklyn 17
Cotonou 16
Paris 16
Poplar 16
Montreal 15
Nuremberg 15
Saint Petersburg 15
Johannesburg 14
Lappeenranta 14
Pune 14
Totale 10.964
Salva come PNG Salva come JPEG
Nome #
Static analysis via abstract interpretation of multithreaded programs 1.049
Combining symbolic and numerical domains for information leakage analysis 486
A Survey on Product Operators in Abstract Interpretation 477
Static analysis for discovering IoT vulnerabilities 473
Static analysis of android apps interaction with automotive CAN 456
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 446
Vulnerability analysis of android auto infotainment apps 441
DAPA: Degradation-Aware Privacy Analysis of Android Apps 388
Cross-Program Taint Analysis for IoT Systems 374
A suite of abstract domains for static analysis of string values 363
CIL to Java-bytecode translation for static analysis leveraging 342
Information Flow Analysis for Detecting Non-Determinism in Blockchain 330
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 327
Linear approximation of continuous systems with Trapezoid Step Functions 323
Static Identification of Injection Attacks in Java 312
Certifying decision trees against evasion attacks by program analysis 312
Static Analysis of String Values 310
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 308
Cross-Programming Language Taint Analysis for the IoT Ecosystem 302
SAILS: Static Analysis of Information Leakage with Sample 294
The abstract domain of Trapezoid Step Functions 289
SDLI: Static Detection of Leaks Across Intents 283
Automating ROS2 Security Policies Extraction through Static Analysis 272
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 259
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 254
LiSA: A Generic Framework for Multilanguage Static Analysis 253
Static analysis for dummies: experiencing LiSA 249
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 247
Twinning Automata and Regular Expressions for String Static Analysis 244
Pinpointing mobile malware using code analysis 239
Intents Analysis of Android Apps for Confidentiality Leakage Detection 232
Foraging goes mobile: Foraging while debugging on mobile devices 231
Static Analysis Techniques for Robotics Software Verification 229
A generic framework for heap and value analyses of object-oriented programming languages 223
Visual configuration of mobile privacy policies 215
Checkmate: A generic static analyzer of Java multithreaded programs 205
FASE: Functionality-aware security enforcement 196
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 188
Detection of Phantom Reads in Hyperledger Fabric 176
Tailoring Taint Analysis to GDPR 176
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 175
Certifying machine learning models against evasion attacks by program analysis 175
Relational String Abstract Domains 172
Teaching Through Practice: Advanced Static Analysis with LiSA 170
European Union Data Act and Blockchain Technology: Challenges and New Directions 169
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 169
Using abstract interpretation to correct synchronization faults 169
Static Privacy Analysis by Flow Reconstruction of Tainted Data 168
SARL: OO Framework Specification for Static Analysis 164
Challenges of software verification: the past, the present, the future 159
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 155
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 150
Static analysis of the determinism of multithreaded programs 146
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 145
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 144
Static analysis via abstract interpretation of the happens-before memory model 143
Safer unsafe code for .net 141
Tarsis: An effective automata-based abstract domain for string analysis 126
Safer unsafe code for .NET 123
Inference of access policies through static analysis 115
Security Analysis of the OWASP Benchmark with Julia 113
Lifting String Analysis Domains 112
Preface 111
Static Analysis for GDPR Compliance 111
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 103
Challenges of software verification 102
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 94
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning 84
Welcome from the Chairs 76
An Overview of Termination in the Ethereum Blockchain 73
From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity 59
State of the art in program analysis 31
Totale 16.920
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.016
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 50.016
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021606 0 0 0 0 0 0 0 0 0 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/20266.723 437 304 438 474 1.017 515 754 426 1.872 486 0 0
Totale 16.920