CATALOGO DEI PRODOTTI DELLA RICERCA

MASTROENI, Isabella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.602
EU - Europa 2.294
AS - Asia 965
OC - Oceania 7
SA - Sud America 6
AF - Africa 5
Totale 5.879
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.573
GB - Regno Unito 846
CN - Cina 759
IT - Italia 418
FR - Francia 245
IE - Irlanda 185
SE - Svezia 170
DE - Germania 141
VN - Vietnam 130
FI - Finlandia 127
UA - Ucraina 55
CA - Canada 28
RU - Federazione Russa 24
AT - Austria 16
BE - Belgio 14
IR - Iran 14
IN - India 13
KR - Corea 12
TR - Turchia 12
SG - Singapore 10
AU - Australia 7
NL - Olanda 7
CH - Svizzera 5
JP - Giappone 5
MK - Macedonia 5
RO - Romania 5
CZ - Repubblica Ceca 4
DK - Danimarca 4
HU - Ungheria 3
ID - Indonesia 3
LU - Lussemburgo 3
MA - Marocco 3
PL - Polonia 3
PT - Portogallo 3
AL - Albania 2
BG - Bulgaria 2
BR - Brasile 2
CL - Cile 2
ES - Italia 2
HK - Hong Kong 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
GR - Grecia 1
IL - Israele 1
KH - Cambogia 1
MO - Macao, regione amministrativa speciale della Cina 1
RS - Serbia 1
Totale 5.879
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 119
Jinan 106
Beijing 92
Dong Ket 92
Lawrence 78
Princeton 78
Wilmington 75
Nanjing 67
Shenyang 55
Hebei 47
Changsha 41
Tianjin 38
Zhengzhou 36
Haikou 33
Ningbo 31
Sindelfingen 31
Hangzhou 28
Paris 28
Helsinki 27
Seattle 24
Boardman 22
New York 22
Guangzhou 21
Jiaxing 20
Ottawa 18
Redwood City 18
Taizhou 17
Nanchang 15
Brussels 14
Fairfield 13
Milan 12
Lanzhou 11
Seoul 11
Vienna 11
Norwalk 9
London 8
Taiyuan 8
Los Angeles 7
Singapore 7
Toronto 7
Catanzaro 6
Mountain View 6
San Francisco 6
Canterbury 5
Giugliano In Campania 5
Manchester 5
Skopje 5
Sydney 5
Auburn Hills 4
Berlin 4
Buttapietra 4
Chicago 3
Columbus 3
Dallas 3
Dax 3
Falls Church 3
Fuzhou 3
Guimarães 3
Rome 3
San Diego 3
Sant'Ambrogio di Valpolicella 3
Tappahannock 3
Tokyo 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
Brooklyn 2
Budapest 2
Charlotte 2
Conselve 2
Cupertino 2
Dearborn 2
Edinburgh 2
Frankfurt am Main 2
Garda 2
Geneva 2
Ideh 2
Jakarta 2
Kurnool 2
Las Vegas 2
Laurel 2
Leawood 2
Totale 4.210
Salva come PNG Salva come JPEG
Nome #
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali) 168
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 143
Abstract Non-Interference: A unifying framework for weakening information flow 137
Abstract Non-Interference 127
A weakening residuation in adjoining closures 127
Chasing infections by unveiling program dependencies. 124
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 121
SEA: String Executability Analysis by Abstract Interpretation 117
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 110
Making abstract models complete 106
14th International symposium on Verification, Model Checking and Abstract Interpretation 105
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. 104
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 102
Abstract Program Slicing: From theory towards an implementation 102
An Abstract Interpretation-based Model for Safety Semantics 98
Adjoining classified and unclassified information by Abstract Interpretation 97
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 97
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 96
Active Android malware analysis: an approach based on stochastic games 96
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 94
A proof System for Abstract Non-Interference 93
Compositionality in the puzzle of semantics 91
Timed Abstract Non-Interference 90
Weakening Additivity in Adjoining Closures 89
Adjoining Declassification and Attack Models by Abstract Interpretation 88
Analyzing program dependences for malware detection. 87
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 85
Characterizing A Property-Driven Obfuscation Strategy 85
Modelling Declassification Policies using Abstract Domain Completeness 84
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 82
Proving abstract non-interference 80
Transforming semantics by abstract interpretation 80
Formal Framework for Property-driven Obfuscations 80
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 80
Maximal incompleteness as obfuscation potency 79
Weakening Non-Interference on Databases 77
Domain Compression for Complete Abstractions 77
Numerical Power Analysis 76
The PER Model of Abstract Non-Interference 76
Algebraic Power Analysis by Abstract Interpretation 76
A characterization of symmetric semantics by domain complementation 75
On the role of Abstract Non-Interference in language-based security 75
On topologies for (hyper)properties 75
Modeling Information Flow Dependencies with Boolean Functions 72
Adjoining classified and unclassified information by Abstract Interpretation 72
Completeness in Approximate Transduction 70
What you lose is what you leak: Information leakage in declassification policies 66
Designing Semantics by Domain Complementation 66
Strong Preservation by Model Deformation 66
A proof system for Abstract Non-Interference 65
On the semantic equivalence of language syntax formalisms 65
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 64
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 62
A weakest precondition approach to active attacks analysis 61
On the Multi-Language Construction 61
Equational logic and categorical semantics for multi-languages 61
Non-Standard Semantics for Program Slicing 59
An Abstract Interpretation-based Model for Safety Semantics 59
Obfuscation by Partial Evaluation of Distorted Interpreters 59
Static Program Analysis for String Manipulation Languages 58
A Sound Abstract Interpreter for Dynamic Code 58
Deriving Bisimulations by Simplifying Partitions 57
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 55
Verifying Bounded Subset-Closed Hyperproperties 55
Completeness of Abstract Domains for String Analysis of JavaScript Programs 55
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 53
MIME: A Formal Approach to (Android) Emulation Malware Analysis 51
An abstract domain for objects in dynamic programming languages 51
Modeling Declassification Policies using Abstract Domain Completeness 50
Static Analysis for ECMAScript String Manipulation Programs 50
A Weakest Precondition Approach to Robustness 49
On the semantic equivalence of language syntax formalisms 49
Equational Logic and Set-Theoretic Models for Multi-Languages 41
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 38
On Multi-language Abstraction 32
Verifying Opacity by Abstract Interpretation 32
Completeness of string analysis for dynamic languages 25
Improving Dynamic Code Analysis by Code Abstraction 25
Decoupling the Ascending and Descending Phases in Abstract Interpretation 15
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation 9
How Fitting is Your Abstract Domain? 7
Domain Precision in Galois Connection-Less Abstract Interpretation 7
On multi-language abstraction: Towards a static analysis of multi-language programs 2
Totale 6.103
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.350
article - articoli 4.267
book - libri 329
conference - conferenze 10.308
curatela - curatele 257
other - altro 2.189
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 34.700
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201967 0 0 0 0 0 0 0 0 0 9 22 36
2019/2020661 83 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/2024543 40 63 64 89 104 55 33 44 10 41 0 0
Totale 6.103