CATALOGO DEI PRODOTTI DELLA RICERCA

MASTROENI, Isabella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.726
EU - Europa 2.599
AS - Asia 1.419
AF - Africa 9
SA - Sud America 8
OC - Oceania 7
Totale 6.768
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.697
CN - Cina 850
GB - Regno Unito 848
IT - Italia 434
SG - Singapore 311
FR - Francia 247
RU - Federazione Russa 212
IE - Irlanda 185
DE - Germania 178
FI - Finlandia 176
SE - Svezia 172
VN - Vietnam 130
UA - Ucraina 55
ID - Indonesia 35
CA - Canada 28
JP - Giappone 21
AT - Austria 17
BE - Belgio 16
IR - Iran 14
KR - Corea 14
HK - Hong Kong 13
IN - India 13
TR - Turchia 12
NL - Olanda 11
AU - Australia 7
CH - Svizzera 5
MK - Macedonia 5
RO - Romania 5
CZ - Repubblica Ceca 4
DK - Danimarca 4
TG - Togo 4
BG - Bulgaria 3
HU - Ungheria 3
LU - Lussemburgo 3
MA - Marocco 3
PL - Polonia 3
PT - Portogallo 3
AL - Albania 2
BO - Bolivia 2
BR - Brasile 2
CL - Cile 2
ES - Italia 2
GR - Grecia 2
HR - Croazia 2
AM - Armenia 1
AR - Argentina 1
AZ - Azerbaigian 1
BY - Bielorussia 1
CR - Costa Rica 1
DZ - Algeria 1
EG - Egitto 1
FK - Isole Falkland (Malvinas) 1
IL - Israele 1
KH - Cambogia 1
MO - Macao, regione amministrativa speciale della Cina 1
RS - Serbia 1
UZ - Uzbekistan 1
Totale 6.768
Salva come PNG Salva come JPEG
Città #
Southend 732
Chandler 488
Jacksonville 437
Singapore 251
Woodbridge 229
Verona 226
Ann Arbor 209
Dublin 183
Houston 157
Ashburn 150
Jinan 106
Beijing 93
Dong Ket 92
Lawrence 78
Princeton 78
Wilmington 75
Helsinki 71
Nanjing 67
Shenyang 55
Hebei 47
Changsha 41
Tianjin 38
Zhengzhou 36
Jakarta 34
Haikou 33
Ningbo 31
Sindelfingen 31
Hangzhou 28
Paris 28
Seattle 24
Guangzhou 23
Boardman 22
New York 22
Jiaxing 20
Tokyo 19
Ottawa 18
Redwood City 18
Taizhou 17
Kent 16
Munich 16
Falkenstein 15
Nanchang 15
Brussels 14
Milan 14
Fairfield 13
Moscow 12
Santa Clara 12
Seoul 12
Vienna 12
Hong Kong 11
Lanzhou 11
Dallas 9
Norwalk 9
London 8
Los Angeles 8
Taiyuan 8
Toronto 7
Catanzaro 6
Mountain View 6
Nuremberg 6
Rome 6
San Francisco 6
Canterbury 5
Giugliano In Campania 5
Lappeenranta 5
Manchester 5
Skopje 5
Sydney 5
Auburn Hills 4
Berlin 4
Brooklyn 4
Buttapietra 4
Frankfurt am Main 4
Lomé 4
Venice 4
Amsterdam 3
Chicago 3
Columbus 3
Dax 3
Falls Church 3
Fuzhou 3
Guimarães 3
Pisa 3
San Diego 3
Sant'Ambrogio di Valpolicella 3
Sofia 3
Tappahannock 3
Trento 3
Trieste 3
University Park 3
Vanves 3
Warsaw 3
Washington 3
Aachen 2
Arlington Heights 2
Augusta 2
Bangalore 2
Bethnal Green 2
Brindisi 2
Brookline 2
Totale 4.685
Salva come PNG Salva come JPEG
Nome #
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali) 179
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 178
Abstract Non-Interference: A unifying framework for weakening information flow 151
A weakening residuation in adjoining closures 142
Abstract Non-Interference 140
Chasing infections by unveiling program dependencies. 137
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 135
SEA: String Executability Analysis by Abstract Interpretation 126
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 122
Making abstract models complete 116
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. 116
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 115
14th International symposium on Verification, Model Checking and Abstract Interpretation 114
An Abstract Interpretation-based Model for Safety Semantics 114
Abstract Program Slicing: From theory towards an implementation 112
Adjoining classified and unclassified information by Abstract Interpretation 111
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 111
Active Android malware analysis: an approach based on stochastic games 110
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 107
A proof System for Abstract Non-Interference 104
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 103
Timed Abstract Non-Interference 99
Characterizing A Property-Driven Obfuscation Strategy 99
Compositionality in the puzzle of semantics 98
Adjoining Declassification and Attack Models by Abstract Interpretation 98
Analyzing program dependences for malware detection. 98
Weakening Additivity in Adjoining Closures 98
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 95
Modelling Declassification Policies using Abstract Domain Completeness 94
Algebraic Power Analysis by Abstract Interpretation 90
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 90
Formal Framework for Property-driven Obfuscations 89
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 88
Maximal incompleteness as obfuscation potency 88
Proving abstract non-interference 87
Weakening Non-Interference on Databases 86
A characterization of symmetric semantics by domain complementation 85
Transforming semantics by abstract interpretation 85
Numerical Power Analysis 84
The PER Model of Abstract Non-Interference 84
On topologies for (hyper)properties 83
Domain Compression for Complete Abstractions 83
Adjoining classified and unclassified information by Abstract Interpretation 82
On the role of Abstract Non-Interference in language-based security 81
Completeness in Approximate Transduction 81
Equational logic and categorical semantics for multi-languages 81
Modeling Information Flow Dependencies with Boolean Functions 80
A proof system for Abstract Non-Interference 79
Strong Preservation by Model Deformation 77
Designing Semantics by Domain Complementation 76
On the semantic equivalence of language syntax formalisms 75
On the Multi-Language Construction 74
What you lose is what you leak: Information leakage in declassification policies 73
An Abstract Interpretation-based Model for Safety Semantics 71
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 69
Deriving Bisimulations by Simplifying Partitions 69
A weakest precondition approach to active attacks analysis 68
Static Program Analysis for String Manipulation Languages 68
A Sound Abstract Interpreter for Dynamic Code 68
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 67
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 66
Obfuscation by Partial Evaluation of Distorted Interpreters 66
Completeness of Abstract Domains for String Analysis of JavaScript Programs 65
Non-Standard Semantics for Program Slicing 64
Verifying Bounded Subset-Closed Hyperproperties 63
Static Analysis for ECMAScript String Manipulation Programs 63
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 62
On the semantic equivalence of language syntax formalisms 61
A Weakest Precondition Approach to Robustness 58
An abstract domain for objects in dynamic programming languages 57
Modeling Declassification Policies using Abstract Domain Completeness 56
MIME: A Formal Approach to (Android) Emulation Malware Analysis 56
Equational Logic and Set-Theoretic Models for Multi-Languages 51
On Multi-language Abstraction 50
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 49
Verifying Opacity by Abstract Interpretation 35
Completeness of string analysis for dynamic languages 34
Improving Dynamic Code Analysis by Code Abstraction 31
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation 22
How Fitting is Your Abstract Domain? 22
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 22
Decoupling the Ascending and Descending Phases in Abstract Interpretation 22
Domain Precision in Galois Connection-Less Abstract Interpretation 16
On multi-language abstraction: Towards a static analysis of multi-language programs 13
Abstracting Entanglement 7
Totale 6.994
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.874
article - articoli 5.982
book - libri 403
conference - conferenze 14.152
curatela - curatele 339
other - altro 2.998
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 47.748
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020390 0 0 0 0 0 0 59 63 34 93 49 92
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/2025712 77 141 42 288 91 73 0 0 0 0 0 0
Totale 6.994