FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.810
EU - Europa 1.971
AS - Asia 984
SA - Sud America 12
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 3
Totale 7.795
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.710
CN - Cina 794
PL - Polonia 543
IT - Italia 431
UA - Ucraina 203
IE - Irlanda 179
DE - Germania 147
CA - Canada 98
SE - Svezia 94
GB - Regno Unito 89
RU - Federazione Russa 74
FI - Finlandia 72
HK - Hong Kong 58
SG - Singapore 41
FR - Francia 39
TR - Turchia 26
AT - Austria 25
BE - Belgio 25
IN - India 20
KR - Corea 10
NL - Olanda 10
AU - Australia 8
CH - Svizzera 8
VN - Vietnam 8
BR - Brasile 7
LV - Lettonia 7
JP - Giappone 6
GR - Grecia 5
HU - Ungheria 4
ES - Italia 3
EU - Europa 3
IL - Israele 3
IR - Iran 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
TW - Taiwan 3
BG - Bulgaria 2
CL - Cile 2
LB - Libano 2
MX - Messico 2
PE - Perù 2
PT - Portogallo 2
RO - Romania 2
TN - Tunisia 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
BO - Bolivia 1
DK - Danimarca 1
IQ - Iraq 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 7.795
Salva come PNG Salva come JPEG
Città #
Fairfield 663
Chandler 603
Warsaw 538
Woodbridge 514
Ashburn 370
Seattle 287
Houston 278
Jacksonville 274
Ann Arbor 254
Wilmington 252
Cambridge 235
Dublin 177
Jinan 109
New York 89
Beijing 85
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
Venezia 40
Hebei 39
Verona 38
Dearborn 33
Hangzhou 33
Tianjin 33
Taiyuan 31
Taizhou 31
Helsinki 28
Ningbo 27
Venice 27
Haikou 26
Zhengzhou 26
Mestre 25
Altamura 24
Izmir 24
Vienna 23
Boardman 22
Bremen 22
Jiaxing 21
Milan 21
San Diego 21
San Paolo di Civitate 21
Fuzhou 20
Brussels 19
Nanchang 19
Changsha 17
Toronto 17
Saint Petersburg 15
London 14
Los Angeles 12
Redwood City 12
Chicago 11
Moscow 11
Frankfurt am Main 9
Dong Ket 8
Paris 7
Pune 7
Jelgava 6
Phoenix 6
Vittorio Veneto 6
Washington 6
Clearwater 5
Irvine 5
Kunming 5
Norwalk 5
Padova 5
Shanghai 5
São Paulo 5
Budapest 4
Den Haag 4
Hefei 4
Karlsruhe 4
Kolkata 4
Lanzhou 4
Puxian 4
Udine 4
West Jordan 4
Wuhan 4
Acton 3
Amsterdam 3
Auckland 3
Edinburgh 3
Hounslow 3
Islington 3
Monza 3
Naples 3
Nuremberg 3
Parma 3
Passau 3
Pordenone 3
Prescot 3
Redmond 3
Riva 3
Totale 6.338
Salva come PNG Salva come JPEG
Nome #
Combining symbolic and numerical domains for information leakage analysis 358
A Survey on Product Operators in Abstract Interpretation 357
Static analysis of android apps interaction with automotive CAN 341
Vulnerability analysis of android auto infotainment apps 331
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 315
DAPA: Degradation-Aware Privacy Analysis of Android Apps 266
CIL to Java-bytecode translation for static analysis leveraging 248
A suite of abstract domains for static analysis of string values 232
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 232
Static Analysis of String Values 229
The abstract domain of Trapezoid Step Functions 229
Linear approximation of continuous systems with Trapezoid Step Functions 224
Static Identification of Injection Attacks in Java 221
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 217
Cross-Program Taint Analysis for IoT Systems 211
SDLI: Static Detection of Leaks Across Intents 210
SAILS: Static Analysis of Information Leakage with Sample 184
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 183
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 176
Pinpointing mobile malware using code analysis 175
Intents Analysis of Android Apps for Confidentiality Leakage Detection 175
Static Analysis Techniques for Robotics Software Verification 173
Static analysis for discovering IoT vulnerabilities 167
Twinning Automata and Regular Expressions for String Static Analysis 156
Certifying decision trees against evasion attacks by program analysis 151
Foraging goes mobile: Foraging while debugging on mobile devices 150
Visual configuration of mobile privacy policies 145
Cross-Programming Language Taint Analysis for the IoT Ecosystem 140
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 131
A generic framework for heap and value analyses of object-oriented programming languages 131
Checkmate: A generic static analyzer of Java multithreaded programs 128
Static analysis for dummies: experiencing LiSA 123
FASE: Functionality-aware security enforcement 114
Static analysis of the determinism of multithreaded programs 105
Using abstract interpretation to correct synchronization faults 102
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 98
Information Flow Analysis for Detecting Non-Determinism in Blockchain 97
Static analysis via abstract interpretation of the happens-before memory model 94
Relational String Abstract Domains 90
Safer unsafe code for .net 89
Tailoring Taint Analysis to GDPR 88
Safer unsafe code for .NET 78
SARL: OO Framework Specification for Static Analysis 77
Static Analysis for GDPR Compliance 51
Security Analysis of the OWASP Benchmark with Julia 51
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 48
LiSA: A Generic Framework for Multilanguage Static Analysis 46
Certifying machine learning models against evasion attacks by program analysis 42
Static Privacy Analysis by Flow Reconstruction of Tainted Data 39
Lifting String Analysis Domains 10
Preface 5
Welcome from the Chairs 5
Tarsis: An effective automata-based abstract domain for string analysis 4
Totale 8.042
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.667
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 25.667
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019227 0 0 0 0 0 0 0 0 0 0 89 138
2019/20201.560 95 97 77 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/2024592 48 47 35 34 99 145 58 38 57 24 7 0
Totale 8.042