CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022431 0 0 0 0 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/20271.283 88 117 346 571 161 0 0 0 0 0 0 0
Totale 14.480