CATALOGO DEI PRODOTTI DELLA RICERCA

MASTROENI, Isabella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.071
NA - Nord America 3.699
AS - Asia 2.836
SA - Sud America 258
AF - Africa 53
OC - Oceania 11
AN - Antartide 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 10.930
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.628
RU - Federazione Russa 1.417
CN - Cina 1.022
SG - Singapore 1.022
GB - Regno Unito 894
IT - Italia 489
FR - Francia 282
HK - Hong Kong 279
VN - Vietnam 232
DE - Germania 229
BR - Brasile 206
FI - Finlandia 202
IE - Irlanda 186
SE - Svezia 179
KR - Corea 71
UA - Ucraina 62
CA - Canada 52
ID - Indonesia 40
IN - India 31
JP - Giappone 31
AT - Austria 23
TR - Turchia 23
ZA - Sudafrica 19
AR - Argentina 18
PL - Polonia 18
NL - Olanda 17
BE - Belgio 16
IR - Iran 15
BD - Bangladesh 14
IQ - Iraq 12
MX - Messico 12
MA - Marocco 10
AU - Australia 8
EC - Ecuador 7
ES - Italia 7
CO - Colombia 6
PK - Pakistan 6
SA - Arabia Saudita 6
VE - Venezuela 6
BJ - Benin 5
CH - Svizzera 5
CZ - Repubblica Ceca 5
DK - Danimarca 5
MK - Macedonia 5
NP - Nepal 5
RO - Romania 5
AZ - Azerbaigian 4
BO - Bolivia 4
CL - Cile 4
TG - Togo 4
BG - Bulgaria 3
EG - Egitto 3
HU - Ungheria 3
IL - Israele 3
KE - Kenya 3
LU - Lussemburgo 3
PT - Portogallo 3
TN - Tunisia 3
UY - Uruguay 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AM - Armenia 2
ET - Etiopia 2
GR - Grecia 2
HR - Croazia 2
JO - Giordania 2
KZ - Kazakistan 2
LB - Libano 2
MD - Moldavia 2
MY - Malesia 2
PY - Paraguay 2
AI - Anguilla 1
AQ - Antartide 1
BS - Bahamas 1
BY - Bielorussia 1
CD - Congo 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
FK - Isole Falkland (Malvinas) 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
HT - Haiti 1
KH - Cambogia 1
LT - Lituania 1
LV - Lettonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
NR - Nauru 1
NZ - Nuova Zelanda 1
PE - Perù 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TO - Tonga 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 10.930
Salva come PNG Salva come JPEG
Città #
Southend 732
Singapore 494
Chandler 488
Moscow 457
Jacksonville 437
Dallas 338
Ashburn 275
Hong Kong 273
Verona 240
Woodbridge 229
Ann Arbor 209
Dublin 184
Houston 159
Beijing 140
Jinan 108
The Dalles 108
Dong Ket 92
Lawrence 78
Princeton 78
Wilmington 75
Helsinki 73
Nanjing 67
Los Angeles 56
Shenyang 55
Hebei 47
Tianjin 47
Buffalo 43
New York 42
Changsha 41
Munich 40
Hanoi 36
Zhengzhou 36
Jakarta 35
Haikou 33
Ho Chi Minh City 33
Council Bluffs 31
Hangzhou 31
Ningbo 31
Sindelfingen 31
Paris 29
Tokyo 28
Guangzhou 26
Seattle 26
London 25
Boardman 24
Columbus 24
Redondo Beach 23
São Paulo 23
Turku 22
Milan 21
Santa Clara 21
Jiaxing 20
Ottawa 19
Frankfurt am Main 18
Redwood City 18
Taizhou 17
Vienna 17
Kent 16
Brooklyn 15
Falkenstein 15
Johannesburg 15
Nanchang 15
Brussels 14
Fairfield 13
Rio de Janeiro 13
Manchester 12
Seoul 12
Warsaw 12
Chicago 11
Lanzhou 11
San Francisco 11
Boston 10
Montreal 10
Toronto 10
Amsterdam 9
Charlotte 9
Norwalk 9
Nuremberg 9
Taiyuan 8
Chennai 7
Lappeenranta 7
Catanzaro 6
Denver 6
Des Moines 6
Mountain View 6
Rome 6
Santa Cruz 6
Stockholm 6
Sydney 6
Ankara 5
Atlanta 5
Baghdad 5
Belo Horizonte 5
Brescia 5
Canterbury 5
Cotonou 5
Da Nang 5
Giugliano In Campania 5
Haiphong 5
Mexico City 5
Totale 6.779
Salva come PNG Salva come JPEG
Nome #
Abstract Non-Interference: A unifying framework for weakening information flow 222
A weakening residuation in adjoining closures 219
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 219
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali) 214
Abstract Non-Interference 210
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 193
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 191
Chasing infections by unveiling program dependencies. 191
14th International symposium on Verification, Model Checking and Abstract Interpretation 189
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 183
A proof System for Abstract Non-Interference 180
SEA: String Executability Analysis by Abstract Interpretation 178
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 174
Active Android malware analysis: an approach based on stochastic games 174
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 167
Abstract Program Slicing: From theory towards an implementation 164
Making abstract models complete 160
Analyzing program dependences for malware detection. 156
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 154
An Abstract Interpretation-based Model for Safety Semantics 151
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. 150
A characterization of symmetric semantics by domain complementation 148
Characterizing A Property-Driven Obfuscation Strategy 147
A proof system for Abstract Non-Interference 146
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 145
Adjoining classified and unclassified information by Abstract Interpretation 144
Adjoining Declassification and Attack Models by Abstract Interpretation 135
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 135
Equational logic and categorical semantics for multi-languages 135
Timed Abstract Non-Interference 134
Weakening Non-Interference on Databases 132
Compositionality in the puzzle of semantics 131
Formal Framework for Property-driven Obfuscations 130
On the semantic equivalence of language syntax formalisms 130
Weakening Additivity in Adjoining Closures 128
Maximal incompleteness as obfuscation potency 128
Proving abstract non-interference 127
Completeness in Approximate Transduction 127
On topologies for (hyper)properties 127
A Sound Abstract Interpreter for Dynamic Code 127
Algebraic Power Analysis by Abstract Interpretation 126
Modelling Declassification Policies using Abstract Domain Completeness 125
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 122
Static Program Analysis for String Manipulation Languages 122
Numerical Power Analysis 121
Strong Preservation by Model Deformation 120
On Multi-language Abstraction 120
A Weakest Precondition Approach to Robustness 118
Adjoining classified and unclassified information by Abstract Interpretation 117
An abstract domain for objects in dynamic programming languages 117
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 117
Transforming semantics by abstract interpretation 116
On the Multi-Language Construction 116
A weakest precondition approach to active attacks analysis 115
The PER Model of Abstract Non-Interference 113
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 113
On the semantic equivalence of language syntax formalisms 112
Completeness of Abstract Domains for String Analysis of JavaScript Programs 111
Domain Compression for Complete Abstractions 111
On the role of Abstract Non-Interference in language-based security 110
An Abstract Interpretation-based Model for Safety Semantics 110
Deriving Bisimulations by Simplifying Partitions 110
Modeling Information Flow Dependencies with Boolean Functions 109
Static Analysis for ECMAScript String Manipulation Programs 109
What you lose is what you leak: Information leakage in declassification policies 106
Designing Semantics by Domain Complementation 106
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 104
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 103
Equational Logic and Set-Theoretic Models for Multi-Languages 102
Obfuscation by Partial Evaluation of Distorted Interpreters 102
Non-Standard Semantics for Program Slicing 95
Modeling Declassification Policies using Abstract Domain Completeness 93
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 91
Verifying Bounded Subset-Closed Hyperproperties 91
Abstract Local Completeness 82
A Static Analysis of Entanglement 81
MIME: A Formal Approach to (Android) Emulation Malware Analysis 80
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 79
Domain Precision in Galois Connection-Less Abstract Interpretation 77
Abstracting Entanglement 75
How Fitting is Your Abstract Domain? 70
Completeness of string analysis for dynamic languages 68
On multi-language abstraction: Towards a static analysis of multi-language programs 64
Verifying Opacity by Abstract Interpretation 63
Decoupling the Ascending and Descending Phases in Abstract Interpretation 60
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation 58
Improving Dynamic Code Analysis by Code Abstraction 58
Static Analysis of Quantum Programs 53
Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation 10
Relating Distances and Abstractions 10
Abstract domain adequacy 9
Totale 11.165
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.673
article - articoli 9.212
book - libri 519
conference - conferenze 22.058
curatela - curatele 496
other - altro 4.388
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 73.346
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021475 0 0 0 0 0 87 28 76 44 18 74 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/20263.174 407 223 380 733 1.138 293 0 0 0 0 0 0
Totale 11.165