CATALOGO DEI PRODOTTI DELLA RICERCA

MASTROENI, Isabella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.211
NA - Nord America 1.039
AS - Asia 701
OC - Oceania 44
AF - Africa 26
SA - Sud America 26
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.050
Salva come PNG Salva come JPEG
Nazione #
FR - Francia 1.142
US - Stati Uniti d'America 972
IT - Italia 409
CN - Cina 235
DE - Germania 155
VN - Vietnam 138
RU - Federazione Russa 99
IN - India 71
GB - Regno Unito 68
CA - Canada 52
UA - Ucraina 46
CZ - Repubblica Ceca 45
IR - Iran 44
AU - Australia 37
IE - Irlanda 37
ID - Indonesia 33
TW - Taiwan 30
DK - Danimarca 29
SE - Svezia 28
JP - Giappone 27
NL - Olanda 27
KR - Corea 23
AT - Austria 21
HK - Hong Kong 18
TR - Turchia 17
SG - Singapore 16
BR - Brasile 15
FI - Finlandia 15
ES - Italia 13
MX - Messico 12
PL - Polonia 12
RO - Romania 12
MY - Malesia 11
GR - Grecia 10
IQ - Iraq 9
PT - Portogallo 9
IL - Israele 8
NZ - Nuova Zelanda 7
CH - Svizzera 6
HU - Ungheria 6
PK - Pakistan 6
DZ - Algeria 5
EG - Egitto 5
AR - Argentina 4
LV - Lettonia 4
MA - Marocco 4
MK - Macedonia 4
NG - Nigeria 4
AE - Emirati Arabi Uniti 3
BE - Belgio 3
CO - Colombia 3
LU - Lussemburgo 3
PH - Filippine 3
SV - El Salvador 3
ZA - Sudafrica 3
CL - Cile 2
CY - Cipro 2
EU - Europa 2
MT - Malta 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
A1 - Anonimo 1
AL - Albania 1
AM - Armenia 1
BO - Bolivia 1
BW - Botswana 1
GI - Gibilterra 1
JO - Giordania 1
KE - Kenya 1
KW - Kuwait 1
MG - Madagascar 1
NO - Norvegia 1
RS - Serbia 1
RW - Ruanda 1
SY - Repubblica araba siriana 1
VE - Venezuela 1
YE - Yemen 1
ZM - Zambia 1
Totale 4.050
Salva come PNG Salva come JPEG
Città #
Paris 230
Beijing 153
Verona 91
Dong Ket 86
Ashburn 66
Menlo Park 36
University Park 35
Dublin 32
Houston 31
Hangzhou 25
Fairfield 23
Taipei 23
Ann Arbor 22
Moscow 21
Wilmington 20
Modena 18
Woodbridge 18
Chicago 17
Boardman 16
Mountain View 16
Athens 15
Milan 15
Vanves 15
Helsinki 14
Seattle 14
Simi Valley 14
Wuhan 14
Hanoi 13
Southend 13
Jakarta 12
Brooklyn 11
Dallas 11
New York 11
Saint Petersburg 10
Singapore 10
Nürnberg 9
Rennes 9
Vienna 9
Central District 8
Frederiksberg 8
Munich 8
Aarhus 7
Cambridge 7
Council Bluffs 7
Lake Forest 7
London 7
Warsaw 7
Zlin 7
Amsterdam 6
Bangalore 6
Burke 6
Dax 6
Evanston 6
Massy 6
Melbourne 6
Ottobrunn 6
Piacenza 6
Saarbrücken 6
Santa Barbara 6
Whitby 6
Bergamo 5
Boston 5
Budapest 5
Columbus 5
Duncan 5
Gif-sur-yvette 5
Gothenburg 5
Kuala Lumpur 5
Mumbai 5
Rome 5
San Diego 5
Santa Rosa 5
Seoul 5
Tacoma 5
Ankara 4
Athis-Mons 4
Berlin 4
Brisbane 4
Columbia 4
Costa Mesa 4
Daly City 4
Dearborn 4
Durham 4
Ideh 4
Imam 4
Islamabad 4
Köln 4
Lagos 4
Leawood 4
Madison 4
Mangalore 4
Northvale 4
Norwalk 4
Odesa 4
Ottawa 4
Preganziol 4
San Lazzaro di Savena 4
Shanghai 4
Skopje 4
Sydney 4
Totale 1.517
Salva come PNG Salva come JPEG
Nome #
Completeness in Approximate Transduction, file e14ff6e4-82ca-0209-e053-6605fe0ad24c 839
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis, file e14ff6e3-1db2-0209-e053-6605fe0ad24c 771
SEA: String Executability Analysis by Abstract Interpretation, file e14ff6e3-af6a-0209-e053-6605fe0ad24c 309
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference., file e14ff6e4-8a2a-0209-e053-6605fe0ad24c 227
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification, file e14ff6e3-ed04-0209-e053-6605fe0ad24c 193
Verifying Bounded Subset-Closed Hyperproperties, file e14ff6e4-7dca-0209-e053-6605fe0ad24c 185
Equational logic and categorical semantics for multi-languages, file e14ff6e5-2f7f-0209-e053-6605fe0ad24c 151
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks, file e14ff6e3-cb7c-0209-e053-6605fe0ad24c 149
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval, file e14ff6e5-810a-0209-e053-6605fe0ad24c 145
Static Program Analysis for String Manipulation Languages, file e14ff6e4-8a2e-0209-e053-6605fe0ad24c 125
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference, file e14ff6e4-0d5f-0209-e053-6605fe0ad24c 113
Maximal incompleteness as obfuscation potency, file e14ff6e3-ae6f-0209-e053-6605fe0ad24c 100
On the Multi-Language Construction, file e14ff6e4-8a2c-0209-e053-6605fe0ad24c 87
A weakening residuation in adjoining closures, file e14ff6e3-0a1c-0209-e053-6605fe0ad24c 73
Active Android malware analysis: an approach based on stochastic games, file e14ff6e4-8577-0209-e053-6605fe0ad24c 73
MIME: A Formal Approach to (Android) Emulation Malware Analysis, file e14ff6e4-82cb-0209-e053-6605fe0ad24c 70
Characterizing A Property-Driven Obfuscation Strategy, file e14ff6e4-0d67-0209-e053-6605fe0ad24c 66
How Fitting is Your Abstract Domain?, file 96842ab5-0cfe-4df8-9501-6a337cb043d7 51
Chasing infections by unveiling program dependencies., file e14ff6e3-495a-0209-e053-6605fe0ad24c 51
Formal Framework for Property-driven Obfuscations, file e14ff6e4-f2dc-0209-e053-6605fe0ad24c 47
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications., file e14ff6e3-3815-0209-e053-6605fe0ad24c 45
An Abstract Interpretation-based Model for Safety Semantics, file e14ff6e3-4738-0209-e053-6605fe0ad24c 41
An Abstract Interpretation-based Model for Safety Semantics, file e14ff6e3-37f8-0209-e053-6605fe0ad24c 32
On topologies for (hyper)properties, file e14ff6e4-1587-0209-e053-6605fe0ad24c 28
On the semantic equivalence of language syntax formalisms, file e14ff6e5-6303-0209-e053-6605fe0ad24c 27
A proof system for Abstract Non-Interference, file e14ff6e4-11e2-0209-e053-6605fe0ad24c 26
Transforming semantics by abstract interpretation, file e14ff6e2-dd56-0209-e053-6605fe0ad24c 21
Analyzing program dependences for malware detection., file e14ff6e4-ee20-0209-e053-6605fe0ad24c 21
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables, file e14ff6e5-1ee5-0209-e053-6605fe0ad24c 21
Static Analysis for ECMAScript String Manipulation Programs, file e14ff6e5-2037-0209-e053-6605fe0ad24c 20
Modeling Declassification Policies using Abstract Domain Completeness, file e14ff6e2-e77c-0209-e053-6605fe0ad24c 14
Weakening Additivity in Adjoining Closures, file e14ff6e4-163f-0209-e053-6605fe0ad24c 13
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation, file e14ff6e2-eb50-0209-e053-6605fe0ad24c 2
Non-Standard Semantics for Program Slicing, file e14ff6e2-dd55-0209-e053-6605fe0ad24c 1
Strong Preservation by Model Deformation, file e14ff6e2-e840-0209-e053-6605fe0ad24c 1
Abstract Program Slicing: From theory towards an implementation, file e14ff6e2-eae1-0209-e053-6605fe0ad24c 1
Completeness of Abstract Domains for String Analysis of JavaScript Programs, file e14ff6e4-fd9c-0209-e053-6605fe0ad24c 1
A weakest precondition approach to active attacks analysis, file e14ff6e5-5c37-0209-e053-6605fe0ad24c 1
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing, file e14ff6e5-87dd-0209-e053-6605fe0ad24c 1
Totale 4.142
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.739
article - articoli 1.204
book - libri 0
conference - conferenze 3.665
curatela - curatele 0
other - altro 1.870
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.478
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019197 0 0 0 0 0 0 0 0 0 116 42 39
2019/2020344 38 40 26 35 27 23 25 24 12 38 26 30
2020/2021476 18 50 25 32 24 15 36 37 44 31 35 129
2021/2022437 73 33 57 38 37 38 48 21 21 28 28 15
2022/2023328 12 14 12 28 37 44 60 20 28 20 35 18
2023/20241.317 18 37 50 29 46 496 338 196 43 64 0 0
Totale 4.142