CATALOGO DEI PRODOTTI DELLA RICERCA

MASTROENI, Isabella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.956
EU - Europa 2.728
AS - Asia 2.150
SA - Sud America 191
AF - Africa 20
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 1
Totale 8.053
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.912
GB - Regno Unito 867
CN - Cina 857
SG - Singapore 702
IT - Italia 476
HK - Hong Kong 255
FR - Francia 250
RU - Federazione Russa 216
DE - Germania 211
IE - Irlanda 186
FI - Finlandia 180
SE - Svezia 174
BR - Brasile 165
VN - Vietnam 134
UA - Ucraina 59
KR - Corea 48
CA - Canada 35
ID - Indonesia 35
JP - Giappone 23
TR - Turchia 21
AT - Austria 20
IN - India 19
NL - Olanda 17
BE - Belgio 16
IR - Iran 15
IQ - Iraq 9
PL - Polonia 9
AU - Australia 7
AR - Argentina 6
BD - Bangladesh 6
MA - Marocco 6
MX - Messico 6
CH - Svizzera 5
CZ - Repubblica Ceca 5
MK - Macedonia 5
RO - Romania 5
ZA - Sudafrica 5
DK - Danimarca 4
NP - Nepal 4
SA - Arabia Saudita 4
TG - Togo 4
VE - Venezuela 4
BG - Bulgaria 3
BO - Bolivia 3
CL - Cile 3
EC - Ecuador 3
HU - Ungheria 3
LU - Lussemburgo 3
PT - Portogallo 3
UZ - Uzbekistan 3
AL - Albania 2
AM - Armenia 2
AZ - Azerbaigian 2
CO - Colombia 2
ES - Italia 2
GR - Grecia 2
HR - Croazia 2
KZ - Kazakistan 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
BY - Bielorussia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
ET - Etiopia 1
FK - Isole Falkland (Malvinas) 1
GE - Georgia 1
GT - Guatemala 1
IL - Israele 1
JO - Giordania 1
KE - Kenya 1
KH - Cambogia 1
MO - Macao, regione amministrativa speciale della Cina 1
PE - Perù 1
PK - Pakistan 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.053
Salva come PNG Salva come JPEG
Città #
Southend 732
Chandler 488
Jacksonville 437
Singapore 331
Hong Kong 252
Verona 239
Woodbridge 229
Ann Arbor 209
Dublin 184
Ashburn 160
Houston 157
Jinan 106
Beijing 99
Dong Ket 92
Lawrence 78
Princeton 78
Wilmington 75
Helsinki 72
Nanjing 67
The Dalles 63
Shenyang 55
Hebei 47
Changsha 41
Munich 39
Tianjin 38
Zhengzhou 36
Jakarta 34
Haikou 33
Ningbo 31
Sindelfingen 31
Paris 29
Council Bluffs 28
Hangzhou 28
New York 28
Seattle 25
Columbus 24
Boardman 23
Guangzhou 23
Milan 21
Jiaxing 20
Tokyo 20
Ottawa 18
Redwood City 18
Taizhou 17
Kent 16
London 16
Falkenstein 15
Nanchang 15
São Paulo 15
Vienna 15
Brussels 14
Dallas 14
Fairfield 13
Moscow 13
Santa Clara 13
Seoul 12
Lanzhou 11
Los Angeles 11
San Francisco 10
Amsterdam 9
Brooklyn 9
Norwalk 9
Nuremberg 9
Warsaw 9
Rio de Janeiro 8
Taiyuan 8
Toronto 8
Charlotte 7
Catanzaro 6
Chicago 6
Mountain View 6
Rome 6
Baghdad 5
Brescia 5
Canterbury 5
Giugliano In Campania 5
Lappeenranta 5
Manchester 5
Skopje 5
Sydney 5
Auburn Hills 4
Belo Horizonte 4
Berlin 4
Boston 4
Buttapietra 4
Frankfurt am Main 4
Johannesburg 4
Lomé 4
Mexico City 4
Venice 4
Ankara 3
Atlanta 3
Augusta 3
Bologna 3
Campinas 3
Cuiabá 3
Curitiba 3
Dax 3
Falls Church 3
Fuzhou 3
Totale 5.268
Salva come PNG Salva come JPEG
Nome #
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali) 196
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 192
Abstract Non-Interference: A unifying framework for weakening information flow 173
Abstract Non-Interference 164
A weakening residuation in adjoining closures 164
Chasing infections by unveiling program dependencies. 148
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 147
SEA: String Executability Analysis by Abstract Interpretation 145
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 138
Active Android malware analysis: an approach based on stochastic games 136
Making abstract models complete 133
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 132
14th International symposium on Verification, Model Checking and Abstract Interpretation 131
An Abstract Interpretation-based Model for Safety Semantics 129
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. 128
Adjoining classified and unclassified information by Abstract Interpretation 124
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 124
Abstract Program Slicing: From theory towards an implementation 123
A proof System for Abstract Non-Interference 122
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 119
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 119
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 117
Adjoining Declassification and Attack Models by Abstract Interpretation 115
Timed Abstract Non-Interference 113
Weakening Additivity in Adjoining Closures 113
Compositionality in the puzzle of semantics 111
Analyzing program dependences for malware detection. 109
Characterizing A Property-Driven Obfuscation Strategy 109
Proving abstract non-interference 108
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 105
Modelling Declassification Policies using Abstract Domain Completeness 102
A characterization of symmetric semantics by domain complementation 101
Formal Framework for Property-driven Obfuscations 101
Numerical Power Analysis 100
On topologies for (hyper)properties 100
Algebraic Power Analysis by Abstract Interpretation 99
Transforming semantics by abstract interpretation 99
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 99
Weakening Non-Interference on Databases 98
The PER Model of Abstract Non-Interference 96
Adjoining classified and unclassified information by Abstract Interpretation 96
Equational logic and categorical semantics for multi-languages 96
Maximal incompleteness as obfuscation potency 95
Strong Preservation by Model Deformation 93
Domain Compression for Complete Abstractions 92
On the role of Abstract Non-Interference in language-based security 91
Modeling Information Flow Dependencies with Boolean Functions 91
Designing Semantics by Domain Complementation 91
A proof system for Abstract Non-Interference 91
Completeness in Approximate Transduction 90
On the semantic equivalence of language syntax formalisms 90
An Abstract Interpretation-based Model for Safety Semantics 87
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 86
Static Program Analysis for String Manipulation Languages 86
On Multi-language Abstraction 85
What you lose is what you leak: Information leakage in declassification policies 84
Deriving Bisimulations by Simplifying Partitions 83
On the Multi-Language Construction 82
A Sound Abstract Interpreter for Dynamic Code 80
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 80
Static Analysis for ECMAScript String Manipulation Programs 78
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 78
Non-Standard Semantics for Program Slicing 76
A Weakest Precondition Approach to Robustness 76
Completeness of Abstract Domains for String Analysis of JavaScript Programs 76
On the semantic equivalence of language syntax formalisms 76
A weakest precondition approach to active attacks analysis 75
Obfuscation by Partial Evaluation of Distorted Interpreters 75
Verifying Bounded Subset-Closed Hyperproperties 73
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 72
An abstract domain for objects in dynamic programming languages 72
Equational Logic and Set-Theoretic Models for Multi-Languages 68
Modeling Declassification Policies using Abstract Domain Completeness 67
MIME: A Formal Approach to (Android) Emulation Malware Analysis 64
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 64
Completeness of string analysis for dynamic languages 49
Verifying Opacity by Abstract Interpretation 46
Domain Precision in Galois Connection-Less Abstract Interpretation 43
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 43
Improving Dynamic Code Analysis by Code Abstraction 40
How Fitting is Your Abstract Domain? 39
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation 37
Decoupling the Ascending and Descending Phases in Abstract Interpretation 36
On multi-language abstraction: Towards a static analysis of multi-language programs 32
Abstracting Entanglement 29
A Static Analysis of Entanglement 21
Static Analysis of Quantum Programs 18
Abstract Local Completeness 11
Totale 8.285
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.870
article - articoli 7.215
book - libri 463
conference - conferenze 17.162
curatela - curatele 401
other - altro 3.629
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 57.740
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.112 193 169 59 126 90 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/2026294 294 0 0 0 0 0 0 0 0 0 0 0
Totale 8.285