CATALOGO DEI PRODOTTI DELLA RICERCA

MASTROENI, Isabella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.766
EU - Europa 4.278
AS - Asia 3.482
SA - Sud America 322
AF - Africa 94
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 3
AN - Antartide 1
Totale 12.958
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.673
RU - Federazione Russa 1.422
SG - Singapore 1.344
CN - Cina 1.097
GB - Regno Unito 906
IT - Italia 628
VN - Vietnam 306
FR - Francia 288
HK - Hong Kong 286
BR - Brasile 251
DE - Germania 244
FI - Finlandia 206
IE - Irlanda 189
SE - Svezia 180
KR - Corea 100
UA - Ucraina 65
IN - India 62
CA - Canada 61
BD - Bangladesh 44
ID - Indonesia 44
JP - Giappone 37
TR - Turchia 25
AR - Argentina 24
NL - Olanda 24
ZA - Sudafrica 24
AT - Austria 23
IQ - Iraq 23
PL - Polonia 21
BE - Belgio 16
IR - Iran 16
NG - Nigeria 16
MX - Messico 15
MA - Marocco 14
SA - Arabia Saudita 14
EC - Ecuador 13
PK - Pakistan 12
ES - Italia 10
MY - Malesia 10
AU - Australia 9
UZ - Uzbekistan 9
NP - Nepal 8
PH - Filippine 8
TN - Tunisia 8
CO - Colombia 7
JO - Giordania 7
CZ - Repubblica Ceca 6
DK - Danimarca 6
KE - Kenya 6
RO - Romania 6
VE - Venezuela 6
AZ - Azerbaigian 5
BJ - Benin 5
CH - Svizzera 5
CL - Cile 5
MK - Macedonia 5
BO - Bolivia 4
DZ - Algeria 4
EG - Egitto 4
ET - Etiopia 4
IL - Israele 4
KH - Cambogia 4
KZ - Kazakistan 4
PY - Paraguay 4
TG - Togo 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
BG - Bulgaria 3
CR - Costa Rica 3
HU - Ungheria 3
LU - Lussemburgo 3
MD - Moldavia 3
PE - Perù 3
PT - Portogallo 3
XK - ???statistics.table.value.countryCode.XK??? 3
AM - Armenia 2
GE - Georgia 2
GR - Grecia 2
GT - Guatemala 2
HR - Croazia 2
JM - Giamaica 2
LB - Libano 2
PS - Palestinian Territory 2
SV - El Salvador 2
TT - Trinidad e Tobago 2
AI - Anguilla 1
AQ - Antartide 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CD - Congo 1
DO - Repubblica Dominicana 1
EE - Estonia 1
FK - Isole Falkland (Malvinas) 1
GA - Gabon 1
HT - Haiti 1
LT - Lituania 1
LV - Lettonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
Totale 12.949
Salva come PNG Salva come JPEG
Città #
Singapore 783
Southend 732
Ashburn 532
San Jose 492
Chandler 488
Moscow 457
Jacksonville 437
Dallas 347
Verona 343
Hong Kong 279
Woodbridge 229
Ann Arbor 209
Dublin 187
Houston 162
The Dalles 159
Beijing 145
Jinan 108
Council Bluffs 107
Dong Ket 92
Lawrence 78
Princeton 78
Helsinki 77
Wilmington 75
Nanjing 67
Hanoi 63
Los Angeles 58
Ho Chi Minh City 56
Shenyang 55
New York 52
Tianjin 48
Buffalo 47
Hebei 47
Changsha 41
Munich 40
Jakarta 38
Zhengzhou 36
São Paulo 35
Hangzhou 34
Tokyo 34
Haikou 33
Guangzhou 32
Frankfurt am Main 31
Ningbo 31
Sindelfingen 31
Paris 30
Seattle 30
Santa Clara 27
London 26
Boardman 25
Columbus 25
Milan 23
Redondo Beach 23
Turku 22
Jiaxing 20
Ottawa 19
Johannesburg 18
Redwood City 18
Taizhou 17
Vienna 17
Abuja 16
Chicago 16
Kent 16
Amsterdam 15
Brooklyn 15
Falkenstein 15
Nanchang 15
Brussels 14
Fairfield 13
Rio de Janeiro 13
San Francisco 13
Toronto 13
Warsaw 13
Manchester 12
Montreal 12
Orem 12
Seoul 12
Lanzhou 11
Boston 10
Baghdad 9
Charlotte 9
Chennai 9
Norwalk 9
Nuremberg 9
Tashkent 9
Atlanta 8
Dhaka 8
Haiphong 8
Taiyuan 8
Bologna 7
Da Nang 7
Denver 7
Kuala Lumpur 7
Lappeenranta 7
Riyadh 7
Belo Horizonte 6
Casablanca 6
Catanzaro 6
Des Moines 6
Mexico City 6
Mountain View 6
Totale 8.265
Salva come PNG Salva come JPEG
Nome #
A weakening residuation in adjoining closures 270
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 248
Abstract Non-Interference: A unifying framework for weakening information flow 241
Abstract Non-Interference 236
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali) 229
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 224
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 224
Chasing infections by unveiling program dependencies. 218
14th International symposium on Verification, Model Checking and Abstract Interpretation 211
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 205
A proof System for Abstract Non-Interference 203
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 198
Active Android malware analysis: an approach based on stochastic games 198
SEA: String Executability Analysis by Abstract Interpretation 197
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 196
Abstract Program Slicing: From theory towards an implementation 192
Analyzing program dependences for malware detection. 178
Making abstract models complete 177
Characterizing A Property-Driven Obfuscation Strategy 176
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 172
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. 172
A characterization of symmetric semantics by domain complementation 170
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 170
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 168
A proof system for Abstract Non-Interference 167
An Abstract Interpretation-based Model for Safety Semantics 167
Adjoining classified and unclassified information by Abstract Interpretation 164
Adjoining Declassification and Attack Models by Abstract Interpretation 163
Equational logic and categorical semantics for multi-languages 162
Weakening Additivity in Adjoining Closures 161
Compositionality in the puzzle of semantics 160
Algebraic Power Analysis by Abstract Interpretation 155
Timed Abstract Non-Interference 153
Modelling Declassification Policies using Abstract Domain Completeness 152
Maximal incompleteness as obfuscation potency 152
Completeness in Approximate Transduction 152
On the semantic equivalence of language syntax formalisms 152
Weakening Non-Interference on Databases 150
On topologies for (hyper)properties 149
A Sound Abstract Interpreter for Dynamic Code 148
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 147
Formal Framework for Property-driven Obfuscations 147
A Weakest Precondition Approach to Robustness 146
Proving abstract non-interference 145
Static Program Analysis for String Manipulation Languages 143
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 140
On the Multi-Language Construction 139
Adjoining classified and unclassified information by Abstract Interpretation 136
Completeness of Abstract Domains for String Analysis of JavaScript Programs 136
Static Analysis for ECMAScript String Manipulation Programs 136
A weakest precondition approach to active attacks analysis 135
Strong Preservation by Model Deformation 135
An abstract domain for objects in dynamic programming languages 135
Numerical Power Analysis 134
The PER Model of Abstract Non-Interference 134
On Multi-language Abstraction 132
Transforming semantics by abstract interpretation 131
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 131
On the semantic equivalence of language syntax formalisms 130
An Abstract Interpretation-based Model for Safety Semantics 129
Equational Logic and Set-Theoretic Models for Multi-Languages 128
Domain Compression for Complete Abstractions 127
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 126
What you lose is what you leak: Information leakage in declassification policies 125
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 124
On the role of Abstract Non-Interference in language-based security 123
Deriving Bisimulations by Simplifying Partitions 123
Obfuscation by Partial Evaluation of Distorted Interpreters 123
Designing Semantics by Domain Complementation 122
Modeling Information Flow Dependencies with Boolean Functions 121
Modeling Declassification Policies using Abstract Domain Completeness 117
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 114
Non-Standard Semantics for Program Slicing 113
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 111
Verifying Bounded Subset-Closed Hyperproperties 111
A Static Analysis of Entanglement 107
Abstract Local Completeness 105
Domain Precision in Galois Connection-Less Abstract Interpretation 103
Abstracting Entanglement 102
MIME: A Formal Approach to (Android) Emulation Malware Analysis 98
How Fitting is Your Abstract Domain? 92
Completeness of string analysis for dynamic languages 82
Decoupling the Ascending and Descending Phases in Abstract Interpretation 79
On multi-language abstraction: Towards a static analysis of multi-language programs 78
Verifying Opacity by Abstract Interpretation 76
Static Analysis of Quantum Programs 75
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation 74
Improving Dynamic Code Analysis by Code Abstraction 69
Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation 37
Challenges in Quantum Programs Analysis 24
Relating Distances and Abstractions 24
Abstract domain adequacy 23
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation 18
Totale 13.195
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.455
article - articoli 10.866
book - libri 571
conference - conferenze 25.502
curatela - curatele 558
other - altro 4.958
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 84.910
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021148 0 0 0 0 0 0 0 0 0 0 0 148
2021/2022616 37 101 37 10 45 15 16 46 44 43 37 185
2022/20231.374 101 101 129 223 133 300 21 98 174 13 52 29
2023/2024722 40 63 64 89 104 55 33 44 10 56 125 39
2024/20251.709 77 141 42 288 91 73 93 101 216 149 172 266
2025/20265.204 407 223 380 733 1.138 364 612 299 492 317 95 144
Totale 13.195