FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.564
EU - Europa 4.752
AS - Asia 4.638
SA - Sud America 446
Continente sconosciuto - Info sul continente non disponibili 297
AF - Africa 99
OC - Oceania 22
Totale 19.818
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.267
IT - Italia 1.432
SG - Singapore 1.396
CN - Cina 1.341
RU - Federazione Russa 1.142
VN - Vietnam 734
PL - Polonia 576
BR - Brasile 333
DE - Germania 312
HK - Hong Kong 310
UA - Ucraina 214
CA - Canada 202
IE - Irlanda 195
GB - Regno Unito 181
JP - Giappone 170
IN - India 145
FR - Francia 138
SE - Svezia 134
KR - Corea 132
FI - Finlandia 128
BD - Bangladesh 91
NL - Olanda 78
TR - Turchia 49
AT - Austria 43
ID - Indonesia 43
AR - Argentina 42
MX - Messico 34
BE - Belgio 28
IQ - Iraq 28
PK - Pakistan 26
CH - Svizzera 24
PH - Filippine 24
ZA - Sudafrica 22
TW - Taiwan 20
VE - Venezuela 20
ES - Italia 19
LV - Lettonia 19
MY - Malesia 19
AU - Australia 17
CO - Colombia 17
TH - Thailandia 17
BJ - Benin 16
CR - Costa Rica 14
EC - Ecuador 14
JM - Giamaica 13
LT - Lituania 13
MA - Marocco 13
HU - Ungheria 11
AE - Emirati Arabi Uniti 9
CL - Cile 9
DZ - Algeria 9
IL - Israele 9
IR - Iran 9
RO - Romania 9
UZ - Uzbekistan 9
EE - Estonia 8
NI - Nicaragua 8
GR - Grecia 7
JO - Giordania 7
KE - Kenya 7
CY - Cipro 6
HN - Honduras 6
NP - Nepal 6
PT - Portogallo 6
SA - Arabia Saudita 6
CW - ???statistics.table.value.countryCode.CW??? 5
EG - Egitto 5
ET - Etiopia 5
GT - Guatemala 5
LB - Libano 5
OM - Oman 5
SI - Slovenia 5
UY - Uruguay 5
AM - Armenia 4
BG - Bulgaria 4
DK - Danimarca 4
NG - Nigeria 4
NZ - Nuova Zelanda 4
AO - Angola 3
AZ - Azerbaigian 3
BB - Barbados 3
EU - Europa 3
LU - Lussemburgo 3
NO - Norvegia 3
PE - Perù 3
PS - Palestinian Territory 3
RS - Serbia 3
SV - El Salvador 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
BO - Bolivia 2
CG - Congo 2
CZ - Repubblica Ceca 2
HR - Croazia 2
KW - Kuwait 2
MT - Malta 2
PR - Porto Rico 2
SC - Seychelles 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
Totale 19.502
Salva come PNG Salva come JPEG
Città #
Ashburn 1.456
Singapore 720
Fairfield 663
San Jose 607
Chandler 603
Warsaw 566
Council Bluffs 515
Woodbridge 514
Seattle 299
Houston 289
Jacksonville 276
Hong Kong 274
Dallas 264
Ann Arbor 261
Wilmington 254
Cambridge 235
Venice 224
Ho Chi Minh City 208
Dublin 182
New York 172
Beijing 171
Hanoi 167
Boardman 126
Tokyo 123
Los Angeles 118
Jinan 112
Seoul 108
Verona 106
Milan 104
The Dalles 95
Guangzhou 81
Shenyang 79
Ottawa 78
Santa Clara 73
Hefei 72
Staranzano 69
San Mateo 67
Nanjing 63
Des Moines 62
Lauterbourg 62
Chicago 60
Boston 59
Andover 58
São Paulo 58
Munich 54
Helsinki 53
Treviso 51
Mülheim 48
Bengaluru 47
Columbus 46
Phoenix 46
Princeton 44
Buffalo 43
Udine 42
Venezia 40
Da Nang 39
Frankfurt am Main 39
Hebei 39
Hangzhou 37
Tianjin 37
Toronto 37
Moscow 36
Dearborn 33
London 33
Taiyuan 31
Taizhou 31
Vienna 31
Denver 30
Orem 30
Parma 30
Ningbo 29
Rome 29
Mestre 28
Haiphong 27
San Diego 27
Zhengzhou 27
Haikou 26
Izmir 26
Jakarta 26
Bologna 25
Altamura 24
Amsterdam 24
Brooklyn 24
Chennai 24
Berlin 23
Bremen 23
Fuzhou 23
Brussels 21
Jiaxing 21
San Paolo di Civitate 21
Changsha 20
Montreal 20
Nanchang 20
Memphis 19
Shanghai 19
North Bergen 18
San Francisco 18
Washington 18
Cotonou 16
Paris 16
Totale 12.462
Salva come PNG Salva come JPEG
Nome #
Static analysis via abstract interpretation of multithreaded programs 1.087
Static analysis for discovering IoT vulnerabilities 562
Combining symbolic and numerical domains for information leakage analysis 517
A Survey on Product Operators in Abstract Interpretation 510
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 502
Static analysis of android apps interaction with automotive CAN 486
Vulnerability analysis of android auto infotainment apps 479
DAPA: Degradation-Aware Privacy Analysis of Android Apps 423
Information Flow Analysis for Detecting Non-Determinism in Blockchain 417
Cross-Program Taint Analysis for IoT Systems 406
A suite of abstract domains for static analysis of string values 397
CIL to Java-bytecode translation for static analysis leveraging 391
Linear approximation of continuous systems with Trapezoid Step Functions 361
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 360
Cross-Programming Language Taint Analysis for the IoT Ecosystem 359
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 357
Static Analysis of String Values 347
Certifying decision trees against evasion attacks by program analysis 342
SAILS: Static Analysis of Information Leakage with Sample 335
Static Identification of Injection Attacks in Java 334
SDLI: Static Detection of Leaks Across Intents 321
The abstract domain of Trapezoid Step Functions 320
LiSA: A Generic Framework for Multilanguage Static Analysis 318
Automating ROS2 Security Policies Extraction through Static Analysis 313
Static analysis for dummies: experiencing LiSA 299
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 290
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 290
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 289
Pinpointing mobile malware using code analysis 278
Twinning Automata and Regular Expressions for String Static Analysis 269
Static Analysis Techniques for Robotics Software Verification 260
Intents Analysis of Android Apps for Confidentiality Leakage Detection 260
Foraging goes mobile: Foraging while debugging on mobile devices 256
A generic framework for heap and value analyses of object-oriented programming languages 247
Visual configuration of mobile privacy policies 237
FASE: Functionality-aware security enforcement 232
European Union Data Act and Blockchain Technology: Challenges and New Directions 231
Certifying machine learning models against evasion attacks by program analysis 230
Checkmate: A generic static analyzer of Java multithreaded programs 228
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 226
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 222
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 222
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 215
Static Privacy Analysis by Flow Reconstruction of Tainted Data 214
Challenges of software verification: the past, the present, the future 209
Tailoring Taint Analysis to GDPR 206
Relational String Abstract Domains 206
Detection of Phantom Reads in Hyperledger Fabric 204
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 202
Using abstract interpretation to correct synchronization faults 200
Teaching Through Practice: Advanced Static Analysis with LiSA 199
SARL: OO Framework Specification for Static Analysis 196
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 193
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 191
Static analysis of the determinism of multithreaded programs 174
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 166
Inference of access policies through static analysis 165
Static analysis via abstract interpretation of the happens-before memory model 165
Tarsis: An effective automata-based abstract domain for string analysis 157
Safer unsafe code for .net 157
Challenges of software verification 153
Security Analysis of the OWASP Benchmark with Julia 150
Preface 141
Safer unsafe code for .NET 141
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning 140
From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity 137
Lifting String Analysis Domains 136
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 132
Static Analysis for GDPR Compliance 132
An Overview of Termination in the Ethereum Blockchain 111
Welcome from the Chairs 103
State of the art in program analysis 68
A Modular Framework for Stack-Heap and Value Abstractions 30
GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts 15
Totale 19.818
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.769
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 58.769
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022836 0 0 0 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/20272.006 306 260 820 620 0 0 0 0 0 0 0 0
Totale 19.818