FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.197
EU - Europa 2.655
AS - Asia 1.755
SA - Sud America 235
OC - Oceania 15
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 5
Totale 9.874
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.086
CN - Cina 849
IT - Italia 807
PL - Polonia 549
SG - Singapore 526
DE - Germania 227
BR - Brasile 211
UA - Ucraina 205
HK - Hong Kong 195
IE - Irlanda 187
RU - Federazione Russa 140
FI - Finlandia 107
CA - Canada 103
GB - Regno Unito 99
SE - Svezia 94
FR - Francia 50
NL - Olanda 45
AT - Austria 38
TR - Turchia 31
IN - India 30
ID - Indonesia 28
BE - Belgio 25
CH - Svizzera 20
LV - Lettonia 16
AU - Australia 12
PK - Pakistan 12
AR - Argentina 11
KR - Corea 11
TW - Taiwan 9
VN - Vietnam 9
BD - Bangladesh 8
IQ - Iraq 7
MX - Messico 7
CY - Cipro 6
IR - Iran 6
JP - Giappone 6
RO - Romania 6
ES - Italia 5
GR - Grecia 5
HU - Ungheria 5
PH - Filippine 5
IL - Israele 4
PT - Portogallo 4
AE - Emirati Arabi Uniti 3
CL - Cile 3
EC - Ecuador 3
EU - Europa 3
LU - Lussemburgo 3
MA - Marocco 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
RS - Serbia 3
TN - Tunisia 3
UZ - Uzbekistan 3
BG - Bulgaria 2
CO - Colombia 2
EE - Estonia 2
KE - Kenya 2
LB - Libano 2
LT - Lituania 2
MT - Malta 2
PE - Perù 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
BJ - Benin 1
BO - Bolivia 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EG - Egitto 1
JM - Giamaica 1
KW - Kuwait 1
MD - Moldavia 1
MO - Macao, regione amministrativa speciale della Cina 1
NP - Nepal 1
OM - Oman 1
SD - Sudan 1
SI - Slovenia 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZA - Sudafrica 1
Totale 9.874
Salva come PNG Salva come JPEG
Città #
Fairfield 663
Chandler 603
Warsaw 543
Woodbridge 514
Ashburn 385
Seattle 289
Houston 278
Jacksonville 274
Singapore 273
Ann Arbor 254
Wilmington 252
Cambridge 235
Hong Kong 182
Dublin 178
Venice 162
Jinan 109
Beijing 97
New York 95
Boardman 85
Council Bluffs 85
Verona 80
Shenyang 79
Ottawa 77
San Mateo 67
The Dalles 64
Nanjing 62
Andover 58
Des Moines 51
Boston 49
Guangzhou 48
Mülheim 48
Milan 46
Helsinki 44
Princeton 44
Venezia 40
Hebei 39
Dearborn 33
Hangzhou 33
Moscow 33
Tianjin 33
Taiyuan 31
Taizhou 31
Vienna 30
Munich 29
Ningbo 28
São Paulo 28
Haikou 26
Izmir 26
Jakarta 26
Zhengzhou 26
Mestre 25
Altamura 24
Bremen 22
Bologna 21
Jiaxing 21
San Diego 21
San Paolo di Civitate 21
Fuzhou 20
Brussels 19
London 19
Los Angeles 19
Nanchang 19
Toronto 18
Changsha 17
Berlin 16
Nuremberg 15
Saint Petersburg 15
Chicago 14
Frankfurt am Main 14
Pune 14
Padova 13
Redwood City 12
Belo Horizonte 11
Paris 11
Treviso 11
Zurich 11
San Francisco 10
Hefei 9
Jelgava 9
Parma 9
Rome 9
Dong Ket 8
Lappeenranta 8
Rio de Janeiro 8
San Benedetto Po 8
Phoenix 7
Torre di Fine 7
Amsterdam 6
Brooklyn 6
Fiorano Modenese 6
Limassol 6
Shanghai 6
Vittorio Veneto 6
Washington 6
Clearwater 5
Galway 5
Irvine 5
Islamabad 5
Kunming 5
Norwalk 5
Totale 7.472
Salva come PNG Salva come JPEG
Nome #
A Survey on Product Operators in Abstract Interpretation 387
Combining symbolic and numerical domains for information leakage analysis 387
Static analysis of android apps interaction with automotive CAN 361
Vulnerability analysis of android auto infotainment apps 356
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 335
DAPA: Degradation-Aware Privacy Analysis of Android Apps 292
CIL to Java-bytecode translation for static analysis leveraging 277
Cross-Program Taint Analysis for IoT Systems 275
Static analysis for discovering IoT vulnerabilities 274
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 269
A suite of abstract domains for static analysis of string values 264
Static Analysis of String Values 250
Linear approximation of continuous systems with Trapezoid Step Functions 250
Static Identification of Injection Attacks in Java 249
The abstract domain of Trapezoid Step Functions 245
SDLI: Static Detection of Leaks Across Intents 237
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 233
SAILS: Static Analysis of Information Leakage with Sample 207
Information Flow Analysis for Detecting Non-Determinism in Blockchain 206
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 205
Certifying decision trees against evasion attacks by program analysis 197
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 195
Static Analysis Techniques for Robotics Software Verification 192
Pinpointing mobile malware using code analysis 192
Cross-Programming Language Taint Analysis for the IoT Ecosystem 189
Intents Analysis of Android Apps for Confidentiality Leakage Detection 188
Twinning Automata and Regular Expressions for String Static Analysis 179
Foraging goes mobile: Foraging while debugging on mobile devices 174
Visual configuration of mobile privacy policies 165
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 163
Static analysis for dummies: experiencing LiSA 158
A generic framework for heap and value analyses of object-oriented programming languages 155
Checkmate: A generic static analyzer of Java multithreaded programs 146
FASE: Functionality-aware security enforcement 143
Automating ROS2 Security Policies Extraction through Static Analysis 142
LiSA: A Generic Framework for Multilanguage Static Analysis 126
Using abstract interpretation to correct synchronization faults 120
Static analysis of the determinism of multithreaded programs 116
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 116
Tailoring Taint Analysis to GDPR 112
Relational String Abstract Domains 112
Static analysis via abstract interpretation of the happens-before memory model 105
Safer unsafe code for .net 101
SARL: OO Framework Specification for Static Analysis 96
Safer unsafe code for .NET 88
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 83
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 76
Static Privacy Analysis by Flow Reconstruction of Tainted Data 72
Security Analysis of the OWASP Benchmark with Julia 71
Certifying machine learning models against evasion attacks by program analysis 70
Static Analysis for GDPR Compliance 64
Detection of Phantom Reads in Hyperledger Fabric 62
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 59
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 51
Challenges of software verification: the past, the present, the future 48
Tarsis: An effective automata-based abstract domain for string analysis 39
Teaching Through Practice: Advanced Static Analysis with LiSA 35
Preface 32
Lifting String Analysis Domains 30
European Union Data Act and Blockchain Technology: Challenges and New Directions 29
Welcome from the Chairs 26
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 23
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 18
Static analysis via abstract interpretation of multithreaded programs 14
Inference of access policies through static analysis 13
Totale 10.144
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.714
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 36.714
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202079 0 0 0 0 0 0 0 0 0 0 0 79
2020/20212.188 104 45 121 326 273 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.944 65 65 149 139 143 125 306 156 269 237 224 66
Totale 10.144