MASTROENI, Isabella
 Distribuzione geografica
Continente #
NA - Nord America 2.642
EU - Europa 2.369
AS - Asia 1.079
OC - Oceania 7
SA - Sud America 7
AF - Africa 5
Totale 6.109
Nazione #
US - Stati Uniti d'America 2.613
GB - Regno Unito 846
CN - Cina 783
IT - Italia 425
FR - Francia 247
IE - Irlanda 185
SE - Svezia 170
DE - Germania 148
FI - Finlandia 136
VN - Vietnam 130
RU - Federazione Russa 73
SG - Singapore 73
UA - Ucraina 55
CA - Canada 28
JP - Giappone 21
AT - Austria 16
BE - Belgio 14
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.109
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
Hebei 47
Singapore 42
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
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
Geneva 2
Totale 4.321
Nome #
Semantica operazionale: Strumenti e Applicazioni (Linguaggi Imperativi e Funzionali) 173
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 157
Abstract Non-Interference: A unifying framework for weakening information flow 139
Abstract Non-Interference 132
A weakening residuation in adjoining closures 129
Chasing infections by unveiling program dependencies. 127
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 125
SEA: String Executability Analysis by Abstract Interpretation 119
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 112
Making abstract models complete 109
14th International symposium on Verification, Model Checking and Abstract Interpretation 107
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. 107
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 106
Abstract Program Slicing: From theory towards an implementation 104
An Abstract Interpretation-based Model for Safety Semantics 103
Adjoining classified and unclassified information by Abstract Interpretation 102
Active Android malware analysis: an approach based on stochastic games 100
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 99
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 99
A proof System for Abstract Non-Interference 97
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 96
Timed Abstract Non-Interference 93
Compositionality in the puzzle of semantics 92
Weakening Additivity in Adjoining Closures 91
Analyzing program dependences for malware detection. 90
Adjoining Declassification and Attack Models by Abstract Interpretation 89
Modelling Declassification Policies using Abstract Domain Completeness 88
Characterizing A Property-Driven Obfuscation Strategy 88
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 87
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 84
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 83
Formal Framework for Property-driven Obfuscations 82
Maximal incompleteness as obfuscation potency 81
Proving abstract non-interference 80
Transforming semantics by abstract interpretation 80
Weakening Non-Interference on Databases 80
The PER Model of Abstract Non-Interference 79
Domain Compression for Complete Abstractions 78
On topologies for (hyper)properties 77
Numerical Power Analysis 76
A characterization of symmetric semantics by domain complementation 76
Algebraic Power Analysis by Abstract Interpretation 76
Adjoining classified and unclassified information by Abstract Interpretation 76
On the role of Abstract Non-Interference in language-based security 75
Modeling Information Flow Dependencies with Boolean Functions 75
Completeness in Approximate Transduction 73
Designing Semantics by Domain Complementation 69
A proof system for Abstract Non-Interference 69
What you lose is what you leak: Information leakage in declassification policies 68
Strong Preservation by Model Deformation 68
On the semantic equivalence of language syntax formalisms 67
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 65
On the Multi-Language Construction 65
Equational logic and categorical semantics for multi-languages 64
Deriving Bisimulations by Simplifying Partitions 63
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 63
An Abstract Interpretation-based Model for Safety Semantics 62
A weakest precondition approach to active attacks analysis 61
A Sound Abstract Interpreter for Dynamic Code 61
Static Program Analysis for String Manipulation Languages 60
Obfuscation by Partial Evaluation of Distorted Interpreters 60
Non-Standard Semantics for Program Slicing 59
Verifying Bounded Subset-Closed Hyperproperties 58
Completeness of Abstract Domains for String Analysis of JavaScript Programs 57
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics 56
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 55
An abstract domain for objects in dynamic programming languages 53
Static Analysis for ECMAScript String Manipulation Programs 53
A Weakest Precondition Approach to Robustness 52
MIME: A Formal Approach to (Android) Emulation Malware Analysis 52
On the semantic equivalence of language syntax formalisms 52
Modeling Declassification Policies using Abstract Domain Completeness 51
Equational Logic and Set-Theoretic Models for Multi-Languages 43
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 43
On Multi-language Abstraction 35
Verifying Opacity by Abstract Interpretation 32
Completeness of string analysis for dynamic languages 28
Improving Dynamic Code Analysis by Code Abstraction 26
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 19
Decoupling the Ascending and Descending Phases in Abstract Interpretation 18
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation 12
How Fitting is Your Abstract Domain? 9
Domain Precision in Galois Connection-Less Abstract Interpretation 9
On multi-language abstraction: Towards a static analysis of multi-language programs 6
Totale 6.334
Categoria #
all - tutte 19.350
article - articoli 4.801
book - libri 347
conference - conferenze 11.478
curatela - curatele 284
other - altro 2.440
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 38.700


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024722 40 63 64 89 104 55 33 44 10 56 125 39
2024/202552 52 0 0 0 0 0 0 0 0 0 0 0
Totale 6.334