FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.916
EU - Europa 2.135
AS - Asia 1.145
OC - Oceania 13
SA - Sud America 13
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
Totale 8.230
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.814
CN - Cina 805
PL - Polonia 544
IT - Italia 516
UA - Ucraina 203
DE - Germania 180
IE - Irlanda 180
SG - Singapore 171
CA - Canada 100
GB - Regno Unito 95
SE - Svezia 94
FI - Finlandia 89
RU - Federazione Russa 75
HK - Hong Kong 61
FR - Francia 40
AT - Austria 32
TR - Turchia 26
BE - Belgio 25
IN - India 20
LV - Lettonia 13
NL - Olanda 13
ID - Indonesia 12
KR - Corea 11
AU - Australia 10
CH - Svizzera 9
BR - Brasile 8
VN - Vietnam 8
JP - Giappone 6
GR - Grecia 5
HU - Ungheria 4
BD - Bangladesh 3
ES - Italia 3
EU - Europa 3
IL - Israele 3
IR - Iran 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
PT - Portogallo 3
TW - Taiwan 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
CL - Cile 2
LB - Libano 2
MX - Messico 2
PE - Perù 2
RO - Romania 2
TN - Tunisia 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AF - Afghanistan, Repubblica islamica di 1
BJ - Benin 1
BO - Bolivia 1
DK - Danimarca 1
IQ - Iraq 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
MO - Macao, regione amministrativa speciale della Cina 1
PH - Filippine 1
SD - Sudan 1
SI - Slovenia 1
Totale 8.230
Salva come PNG Salva come JPEG
Città #
Fairfield 663
Chandler 603
Warsaw 538
Woodbridge 514
Ashburn 374
Seattle 287
Houston 278
Jacksonville 274
Ann Arbor 254
Wilmington 252
Cambridge 235
Dublin 178
Jinan 109
Singapore 105
New York 90
Beijing 86
Boardman 83
Shenyang 78
Ottawa 77
San Mateo 67
Nanjing 62
Andover 58
Hong Kong 52
Des Moines 51
Boston 48
Mülheim 48
Guangzhou 47
Princeton 44
Helsinki 42
Verona 42
Venezia 40
Venice 40
Hebei 39
Dearborn 33
Hangzhou 33
Tianjin 33
Taiyuan 31
Taizhou 31
Milan 30
Vienna 30
Ningbo 27
Haikou 26
Zhengzhou 26
Mestre 25
Altamura 24
Izmir 24
Bremen 22
Jiaxing 21
San Diego 21
San Paolo di Civitate 21
Fuzhou 20
Brussels 19
Nanchang 19
London 18
Toronto 18
Changsha 17
Berlin 16
Saint Petersburg 15
Los Angeles 14
Chicago 12
Jakarta 12
Redwood City 12
Moscow 11
Treviso 10
Frankfurt am Main 9
Jelgava 9
Dong Ket 8
Munich 7
Paris 7
Pune 7
Fiorano Modenese 6
Padova 6
Phoenix 6
São Paulo 6
Vittorio Veneto 6
Washington 6
Bologna 5
Clearwater 5
Irvine 5
Kunming 5
Norwalk 5
Nuremberg 5
Pieve di Soligo 5
Shanghai 5
Budapest 4
Den Haag 4
Hefei 4
Karlsruhe 4
Kolkata 4
Lanzhou 4
Lappeenranta 4
Melbourne 4
Monza 4
Puxian 4
Rome 4
Udine 4
West Jordan 4
Wuhan 4
Acton 3
Amsterdam 3
Totale 6.614
Salva come PNG Salva come JPEG
Nome #
Combining symbolic and numerical domains for information leakage analysis 368
A Survey on Product Operators in Abstract Interpretation 363
Static analysis of android apps interaction with automotive CAN 346
Vulnerability analysis of android auto infotainment apps 335
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 320
DAPA: Degradation-Aware Privacy Analysis of Android Apps 270
CIL to Java-bytecode translation for static analysis leveraging 254
A suite of abstract domains for static analysis of string values 240
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 236
Static Analysis of String Values 235
The abstract domain of Trapezoid Step Functions 232
Linear approximation of continuous systems with Trapezoid Step Functions 229
Static Identification of Injection Attacks in Java 228
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 222
Cross-Program Taint Analysis for IoT Systems 218
SDLI: Static Detection of Leaks Across Intents 215
SAILS: Static Analysis of Information Leakage with Sample 195
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 187
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 181
Static analysis for discovering IoT vulnerabilities 181
Intents Analysis of Android Apps for Confidentiality Leakage Detection 179
Pinpointing mobile malware using code analysis 178
Static Analysis Techniques for Robotics Software Verification 176
Twinning Automata and Regular Expressions for String Static Analysis 161
Foraging goes mobile: Foraging while debugging on mobile devices 156
Certifying decision trees against evasion attacks by program analysis 156
Cross-Programming Language Taint Analysis for the IoT Ecosystem 151
Visual configuration of mobile privacy policies 151
A generic framework for heap and value analyses of object-oriented programming languages 139
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 138
Checkmate: A generic static analyzer of Java multithreaded programs 134
Static analysis for dummies: experiencing LiSA 133
Information Flow Analysis for Detecting Non-Determinism in Blockchain 123
FASE: Functionality-aware security enforcement 120
Static analysis of the determinism of multithreaded programs 109
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 105
Using abstract interpretation to correct synchronization faults 104
Static analysis via abstract interpretation of the happens-before memory model 98
Relational String Abstract Domains 93
Safer unsafe code for .net 92
Tailoring Taint Analysis to GDPR 92
SARL: OO Framework Specification for Static Analysis 82
Safer unsafe code for .NET 81
LiSA: A Generic Framework for Multilanguage Static Analysis 63
Static Analysis for GDPR Compliance 56
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 55
Security Analysis of the OWASP Benchmark with Julia 54
Certifying machine learning models against evasion attacks by program analysis 52
Static Privacy Analysis by Flow Reconstruction of Tainted Data 50
Automating ROS2 Security Policies Extraction through Static Analysis 47
Tarsis: An effective automata-based abstract domain for string analysis 18
Welcome from the Chairs 17
Lifting String Analysis Domains 16
Detection of Phantom Reads in Hyperledger Fabric 15
Preface 12
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 12
Teaching Through Practice: Advanced Static Analysis with LiSA 5
Challenges of software verification: the past, the present, the future 5
Static analysis via abstract interpretation of multithreaded programs 1
Totale 8.484
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.208
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 29.208
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.291 0 0 0 238 86 142 124 194 153 159 116 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/2025284 65 65 149 5 0 0 0 0 0 0 0 0
Totale 8.484