CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022478 0 0 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.206 407 223 380 733 1.138 364 612 299 492 317 95 146
2026/2027229 88 117 24 0 0 0 0 0 0 0 0 0
Totale 13.426