FERRARA, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.927
EU - Europa 2.215
AS - Asia 1.316
SA - Sud America 16
OC - Oceania 13
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
Totale 8.495
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.825
CN - Cina 824
IT - Italia 577
PL - Polonia 545
SG - Singapore 316
UA - Ucraina 203
DE - Germania 187
IE - Irlanda 180
CA - Canada 100
GB - Regno Unito 95
SE - Svezia 94
FI - Finlandia 89
RU - Federazione Russa 76
HK - Hong Kong 61
FR - Francia 46
AT - Austria 32
TR - Turchia 26
BE - Belgio 25
IN - India 20
NL - Olanda 15
LV - Lettonia 13
ID - Indonesia 12
KR - Corea 11
AU - Australia 10
CH - Svizzera 9
BR - Brasile 8
VN - Vietnam 8
CY - Cipro 6
JP - Giappone 6
GR - Grecia 5
HU - Ungheria 4
TW - Taiwan 4
BD - Bangladesh 3
ES - Italia 3
EU - Europa 3
IL - Israele 3
IR - Iran 3
LU - Lussemburgo 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
PT - Portogallo 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
CL - Cile 2
EC - Ecuador 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
AR - Argentina 1
BJ - Benin 1
BO - Bolivia 1
DK - Danimarca 1
IQ - Iraq 1
LT - Lituania 1
MD - Moldavia 1
MO - Macao, regione amministrativa speciale della Cina 1
PH - Filippine 1
SD - Sudan 1
SI - Slovenia 1
Totale 8.495
Salva come PNG Salva come JPEG
Città #
Fairfield 663
Chandler 603
Warsaw 539
Woodbridge 514
Ashburn 374
Seattle 287
Houston 278
Jacksonville 274
Ann Arbor 254
Wilmington 252
Singapore 238
Cambridge 235
Dublin 178
Jinan 109
New York 90
Beijing 86
Boardman 83
Shenyang 78
Ottawa 77
Venice 69
San Mateo 67
Nanjing 62
Andover 58
Hong Kong 52
Des Moines 51
Verona 50
Boston 48
Mülheim 48
Guangzhou 47
Princeton 44
Helsinki 42
Venezia 40
Hebei 39
Dearborn 33
Hangzhou 33
Tianjin 33
Taiyuan 31
Taizhou 31
Milan 30
Vienna 30
Ningbo 28
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
Munich 14
Chicago 12
Jakarta 12
Redwood City 12
Moscow 11
Treviso 11
Frankfurt am Main 9
Jelgava 9
Paris 9
Dong Ket 8
San Benedetto Po 8
Pune 7
Fiorano Modenese 6
Limassol 6
Padova 6
Phoenix 6
Shanghai 6
São Paulo 6
Vittorio Veneto 6
Washington 6
Bologna 5
Clearwater 5
Irvine 5
Kunming 5
Norwalk 5
Nuremberg 5
Parma 5
Pieve di Soligo 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
Totale 6.806
Salva come PNG Salva come JPEG
Nome #
Combining symbolic and numerical domains for information leakage analysis 370
A Survey on Product Operators in Abstract Interpretation 365
Static analysis of android apps interaction with automotive CAN 349
Vulnerability analysis of android auto infotainment apps 339
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 323
DAPA: Degradation-Aware Privacy Analysis of Android Apps 276
CIL to Java-bytecode translation for static analysis leveraging 257
A suite of abstract domains for static analysis of string values 247
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 244
Static Analysis of String Values 238
The abstract domain of Trapezoid Step Functions 233
Linear approximation of continuous systems with Trapezoid Step Functions 232
Static Identification of Injection Attacks in Java 232
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 226
Cross-Program Taint Analysis for IoT Systems 221
SDLI: Static Detection of Leaks Across Intents 217
SAILS: Static Analysis of Information Leakage with Sample 198
Static analysis for discovering IoT vulnerabilities 191
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis 189
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging 186
Intents Analysis of Android Apps for Confidentiality Leakage Detection 181
Pinpointing mobile malware using code analysis 179
Static Analysis Techniques for Robotics Software Verification 177
Twinning Automata and Regular Expressions for String Static Analysis 164
Foraging goes mobile: Foraging while debugging on mobile devices 159
Certifying decision trees against evasion attacks by program analysis 159
Cross-Programming Language Taint Analysis for the IoT Ecosystem 155
Visual configuration of mobile privacy policies 152
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results 144
A generic framework for heap and value analyses of object-oriented programming languages 144
Static analysis for dummies: experiencing LiSA 140
Information Flow Analysis for Detecting Non-Determinism in Blockchain 137
Checkmate: A generic static analyzer of Java multithreaded programs 137
FASE: Functionality-aware security enforcement 127
Static analysis of the determinism of multithreaded programs 110
JAIL: Firewall Analysis of Java Card by Abstract Interpretation 107
Using abstract interpretation to correct synchronization faults 105
Static analysis via abstract interpretation of the happens-before memory model 99
Tailoring Taint Analysis to GDPR 97
Relational String Abstract Domains 95
Safer unsafe code for .net 94
SARL: OO Framework Specification for Static Analysis 86
LiSA: A Generic Framework for Multilanguage Static Analysis 83
Safer unsafe code for .NET 83
Automating ROS2 Security Policies Extraction through Static Analysis 72
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 61
Security Analysis of the OWASP Benchmark with Julia 61
Certifying machine learning models against evasion attacks by program analysis 57
Static Analysis for GDPR Compliance 57
Static Privacy Analysis by Flow Reconstruction of Tainted Data 55
Detection of Phantom Reads in Hyperledger Fabric 25
Tarsis: An effective automata-based abstract domain for string analysis 22
Welcome from the Chairs 18
Lifting String Analysis Domains 18
Preface 14
null 14
Challenges of software verification: the past, the present, the future 10
Teaching Through Practice: Advanced Static Analysis with LiSA 9
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 5
European Union Data Act and Blockchain Technology: Challenges and New Directions 3
Static analysis via abstract interpretation of multithreaded programs 2
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 1
Totale 8.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.637
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 30.637
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.053 0 0 0 0 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/2025551 65 65 149 140 132 0 0 0 0 0 0 0
Totale 8.751