CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020578 0 4 8 44 61 71 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/2025140 77 63 0 0 0 0 0 0 0 0 0 0
Totale 6.422