CATALOGO DEI PRODOTTI DELLA RICERCA

MASTROENI, Isabella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.564
EU - Europa 4.250
AS - Asia 3.453
SA - Sud America 319
AF - Africa 94
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 3
AN - Antartide 1
Totale 12.696
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.480
RU - Federazione Russa 1.422
SG - Singapore 1.340
CN - Cina 1.087
GB - Regno Unito 905
IT - Italia 604
VN - Vietnam 306
FR - Francia 288
HK - Hong Kong 285
BR - Brasile 250
DE - Germania 244
FI - Finlandia 206
IE - Irlanda 189
SE - Svezia 180
KR - Corea 100
UA - Ucraina 65
IN - India 62
CA - Canada 59
ID - Indonesia 44
JP - Giappone 37
BD - Bangladesh 31
TR - Turchia 25
AR - Argentina 24
ZA - Sudafrica 24
AT - Austria 23
IQ - Iraq 23
NL - Olanda 23
PL - Polonia 21
BE - Belgio 16
IR - Iran 16
NG - Nigeria 16
MA - Marocco 14
MX - Messico 14
SA - Arabia Saudita 14
EC - Ecuador 12
PK - Pakistan 12
MY - Malesia 10
AU - Australia 9
ES - Italia 9
UZ - Uzbekistan 9
NP - Nepal 8
PH - Filippine 8
TN - Tunisia 8
JO - Giordania 7
CO - Colombia 6
CZ - Repubblica Ceca 6
KE - Kenya 6
RO - Romania 6
VE - Venezuela 6
AZ - Azerbaigian 5
BJ - Benin 5
CH - Svizzera 5
CL - Cile 5
DK - Danimarca 5
MK - Macedonia 5
BO - Bolivia 4
DZ - Algeria 4
EG - Egitto 4
ET - Etiopia 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
HU - Ungheria 3
IL - Israele 3
LU - Lussemburgo 3
MD - Moldavia 3
PE - Perù 3
PT - Portogallo 3
XK - ???statistics.table.value.countryCode.XK??? 3
AM - Armenia 2
CR - Costa Rica 2
GE - Georgia 2
GR - Grecia 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
GA - Gabon 1
GT - Guatemala 1
HT - Haiti 1
JM - Giamaica 1
LT - Lituania 1
LV - Lettonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
NI - Nicaragua 1
NR - Nauru 1
Totale 12.688
Salva come PNG Salva come JPEG
Città #
Singapore 782
Southend 732
Ashburn 513
Chandler 488
San Jose 467
Moscow 457
Jacksonville 437
Dallas 343
Verona 343
Hong Kong 278
Woodbridge 229
Ann Arbor 209
Dublin 187
Houston 161
The Dalles 159
Beijing 142
Jinan 108
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
Tianjin 48
Hebei 47
Buffalo 46
New York 46
Changsha 41
Munich 40
Jakarta 38
Council Bluffs 37
Zhengzhou 36
São Paulo 35
Tokyo 34
Haikou 33
Guangzhou 32
Hangzhou 32
Frankfurt am Main 31
Ningbo 31
Sindelfingen 31
Paris 30
Santa Clara 27
Seattle 27
London 26
Boardman 24
Columbus 24
Redondo Beach 23
Turku 22
Milan 21
Jiaxing 20
Ottawa 19
Johannesburg 18
Redwood City 18
Taizhou 17
Vienna 17
Abuja 16
Kent 16
Amsterdam 15
Brooklyn 15
Falkenstein 15
Nanchang 15
Brussels 14
Chicago 14
Fairfield 13
Rio de Janeiro 13
San Francisco 13
Warsaw 13
Manchester 12
Montreal 12
Orem 12
Seoul 12
Toronto 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
Da Nang 7
Kuala Lumpur 7
Lappeenranta 7
Riyadh 7
Belo Horizonte 6
Casablanca 6
Catanzaro 6
Denver 6
Des Moines 6
Mountain View 6
Rome 6
Santa Cruz 6
Totale 8.120
Salva come PNG Salva come JPEG
Nome #
A weakening residuation in adjoining closures 264
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 239
Abstract Non-Interference: A unifying framework for weakening information flow 239
Abstract Non-Interference 233
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali) 229
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 223
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 223
Chasing infections by unveiling program dependencies. 212
14th International symposium on Verification, Model Checking and Abstract Interpretation 207
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 202
A proof System for Abstract Non-Interference 195
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 195
SEA: String Executability Analysis by Abstract Interpretation 193
Active Android malware analysis: an approach based on stochastic games 193
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 192
Abstract Program Slicing: From theory towards an implementation 188
Making abstract models complete 176
Analyzing program dependences for malware detection. 174
Characterizing A Property-Driven Obfuscation Strategy 171
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 170
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. 170
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 169
A characterization of symmetric semantics by domain complementation 167
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 167
A proof system for Abstract Non-Interference 165
An Abstract Interpretation-based Model for Safety Semantics 165
Adjoining Declassification and Attack Models by Abstract Interpretation 163
Adjoining classified and unclassified information by Abstract Interpretation 161
Equational logic and categorical semantics for multi-languages 160
Compositionality in the puzzle of semantics 159
Weakening Additivity in Adjoining Closures 157
Algebraic Power Analysis by Abstract Interpretation 153
Timed Abstract Non-Interference 151
Maximal incompleteness as obfuscation potency 150
Completeness in Approximate Transduction 150
On the semantic equivalence of language syntax formalisms 150
Weakening Non-Interference on Databases 149
Modelling Declassification Policies using Abstract Domain Completeness 147
Proving abstract non-interference 145
Formal Framework for Property-driven Obfuscations 145
On topologies for (hyper)properties 145
A Sound Abstract Interpreter for Dynamic Code 145
A Weakest Precondition Approach to Robustness 143
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 143
Static Program Analysis for String Manipulation Languages 141
Strong Preservation by Model Deformation 135
On the Multi-Language Construction 135
Numerical Power Analysis 134
Adjoining classified and unclassified information by Abstract Interpretation 134
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 134
The PER Model of Abstract Non-Interference 133
An abstract domain for objects in dynamic programming languages 133
Static Analysis for ECMAScript String Manipulation Programs 133
Completeness of Abstract Domains for String Analysis of JavaScript Programs 132
On Multi-language Abstraction 132
A weakest precondition approach to active attacks analysis 131
On the semantic equivalence of language syntax formalisms 130
Transforming semantics by abstract interpretation 128
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 126
What you lose is what you leak: Information leakage in declassification policies 125
An Abstract Interpretation-based Model for Safety Semantics 125
On the role of Abstract Non-Interference in language-based security 123
Deriving Bisimulations by Simplifying Partitions 123
Domain Compression for Complete Abstractions 123
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 122
Obfuscation by Partial Evaluation of Distorted Interpreters 122
Modeling Information Flow Dependencies with Boolean Functions 120
Designing Semantics by Domain Complementation 120
Modeling Declassification Policies using Abstract Domain Completeness 116
Equational Logic and Set-Theoretic Models for Multi-Languages 115
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 113
Non-Standard Semantics for Program Slicing 112
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 109
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 109
Verifying Bounded Subset-Closed Hyperproperties 106
A Static Analysis of Entanglement 104
Abstract Local Completeness 102
Domain Precision in Galois Connection-Less Abstract Interpretation 101
Abstracting Entanglement 98
MIME: A Formal Approach to (Android) Emulation Malware Analysis 94
How Fitting is Your Abstract Domain? 92
Completeness of string analysis for dynamic languages 80
Decoupling the Ascending and Descending Phases in Abstract Interpretation 79
Verifying Opacity by Abstract Interpretation 75
On multi-language abstraction: Towards a static analysis of multi-language programs 75
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation 74
Static Analysis of Quantum Programs 72
Improving Dynamic Code Analysis by Code Abstraction 69
Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation 34
Relating Distances and Abstractions 23
Abstract domain adequacy 21
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation 15
Challenges in Quantum Programs Analysis 14
Totale 12.933
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.930
article - articoli 10.094
book - libri 547
conference - conferenze 24.029
curatela - curatele 536
other - altro 4.724
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 79.860
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021240 0 0 0 0 0 0 0 0 0 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/20264.942 407 223 380 733 1.138 364 612 299 492 294 0 0
Totale 12.933