CATALOGO DEI PRODOTTI DELLA RICERCA

GIACOBAZZI, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.116
NA - Nord America 5.058
AS - Asia 3.472
SA - Sud America 348
AF - Africa 58
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 4
Totale 14.066
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.876
RU - Federazione Russa 1.624
SG - Singapore 1.364
GB - Regno Unito 1.309
CN - Cina 1.169
IT - Italia 544
DE - Germania 383
HK - Hong Kong 374
FR - Francia 328
BR - Brasile 284
FI - Finlandia 264
IE - Irlanda 229
SE - Svezia 223
VN - Vietnam 204
CA - Canada 158
KR - Corea 107
JP - Giappone 70
UA - Ucraina 61
ID - Indonesia 37
BE - Belgio 34
TR - Turchia 29
IN - India 27
AT - Austria 24
BD - Bangladesh 17
PL - Polonia 17
AR - Argentina 15
VE - Venezuela 14
ZA - Sudafrica 14
IQ - Iraq 12
NL - Olanda 12
IR - Iran 11
CO - Colombia 10
MA - Marocco 10
ES - Italia 8
GR - Grecia 8
MX - Messico 8
AU - Australia 7
SA - Arabia Saudita 7
CL - Cile 6
TG - Togo 6
BO - Bolivia 5
EC - Ecuador 5
EG - Egitto 5
KE - Kenya 5
MK - Macedonia 5
NP - Nepal 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
CH - Svizzera 4
HR - Croazia 4
IL - Israele 4
LT - Lituania 4
RO - Romania 4
TN - Tunisia 4
UY - Uruguay 4
BG - Bulgaria 3
CR - Costa Rica 3
CZ - Repubblica Ceca 3
KZ - Kazakistan 3
MY - Malesia 3
PE - Perù 3
PK - Pakistan 3
SN - Senegal 3
AI - Anguilla 2
AZ - Azerbaigian 2
BJ - Benin 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
EE - Estonia 2
EU - Europa 2
HU - Ungheria 2
JO - Giordania 2
KH - Cambogia 2
LU - Lussemburgo 2
MD - Moldavia 2
MU - Mauritius 2
OM - Oman 2
PA - Panama 2
PT - Portogallo 2
PY - Paraguay 2
QA - Qatar 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BY - Bielorussia 1
CD - Congo 1
DK - Danimarca 1
GD - Grenada 1
GE - Georgia 1
GH - Ghana 1
GM - Gambi 1
GT - Guatemala 1
HN - Honduras 1
HT - Haiti 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LV - Lettonia 1
NA - Namibia 1
Totale 14.054
Salva come PNG Salva come JPEG
Città #
Southend 1.028
Singapore 736
Chandler 621
Jacksonville 583
Moscow 495
Woodbridge 455
Dallas 378
Ashburn 371
Hong Kong 371
Ann Arbor 288
Houston 277
Dublin 225
Verona 186
Beijing 158
Munich 156
The Dalles 147
Wilmington 115
Montréal 114
Mcallen 107
Lawrence 106
Princeton 106
Jinan 104
Nanjing 78
Milan 71
Los Angeles 69
Helsinki 67
Tokyo 64
Shenyang 63
Dong Ket 61
Hebei 57
Changsha 56
Boardman 50
New York 49
Buffalo 48
Ho Chi Minh City 41
Columbus 40
Tianjin 40
Haikou 38
Sindelfingen 37
Santa Clara 36
Council Bluffs 34
Zhengzhou 34
Redondo Beach 33
Guangzhou 32
Hanoi 31
Seattle 28
Hangzhou 27
Jakarta 27
Brussels 24
Nanchang 22
Jiaxing 21
Rome 21
Ningbo 20
Paris 20
São Paulo 20
Taizhou 20
Rio de Janeiro 18
Turku 17
Frankfurt am Main 16
London 16
Seoul 16
Chicago 15
Brooklyn 14
Falkenstein 14
Lanzhou 14
Ottawa 14
Taiyuan 14
Vienna 14
San Francisco 13
Washington 13
Boston 11
Johannesburg 11
Stockholm 11
Vicenza 11
Des Moines 10
Redwood City 10
Warsaw 10
Fairfield 9
Montreal 9
Toronto 9
Bologna 8
Charlotte 8
Da Nang 8
Fuzhou 8
Gent 8
Kent 8
Lappeenranta 8
Nuremberg 8
Phoenix 8
Brescia 7
Catanzaro 7
Chennai 7
Norwalk 7
Nowon-gu 7
Sydney 7
Atlanta 6
Belo Horizonte 6
Edinburgh 6
Lomé 6
Pisa 6
Totale 8.959
Salva come PNG Salva come JPEG
Nome #
Relock-based vulnerability in Windows 7 522
Abstract Non-Interference: A unifying framework for weakening information flow 222
A weakening residuation in adjoining closures 221
Abstract Non-Interference 211
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 206
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 194
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 192
14th International symposium on Verification, Model Checking and Abstract Interpretation 189
A proof System for Abstract Non-Interference 180
SEA: String Executability Analysis by Abstract Interpretation 178
Active Android malware analysis: an approach based on stochastic games 174
Control code obfuscation by abstract interpretation 173
Data augmentation and transfer learning to classify malware images in a deep learning context 166
A Unifying View of Abstract Domain Design 164
A Bottom-Up Polymorphic Type Inference in Logic Programming 162
Making abstract models complete 161
A deep learning approach to program similarity. 161
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 157
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 156
Analyzing program dependences for malware detection. 156
Abductive Analysis of Modular Logic Programs 156
An Abstract Interpretation-based Model for Safety Semantics 152
A characterization of symmetric semantics by domain complementation 149
A proof system for Abstract Non-Interference 146
Adjoining classified and unclassified information by Abstract Interpretation 144
On Entropy Measures for Code Obfuscation 142
Building Complete Abstract Interpretations in a Linear Logic-based Setting 141
Refining and Compressing Abstract Model Checking 139
Adjoining Declassification and Attack Models by Abstract Interpretation 135
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 135
Timed Abstract Non-Interference 135
Fast location of similar code fragments using semantic 'juice' 135
Abstract Interpretation of Indexed Grammars. 135
A Generalized Semantics for Constraint Logic Programs 132
Abstract Interpretation-Based Protection 132
Compositionality in the puzzle of semantics 131
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 131
Formal Framework for Property-driven Obfuscations 131
An Application of Constraint Propagation to Data-Flow Analysis 130
Weakening Additivity in Adjoining Closures 130
Maximal incompleteness as obfuscation potency 129
States vs. Traces in Model Checking by Abstract Interpretation 127
Incompleteness, counterexamples and refinements in abstract model-checking 127
Proving abstract non-interference 127
Completeness in Approximate Transduction 127
Abstract interpretation of resolution-based semantics 126
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 125
Twisting Additivity in Program Obfuscation 125
Oracle Semantics for Prolog 124
Modelling Prolog Control 123
Oracle Semantics for Prolog 123
Abstracting Synchronization in Concurrent Constraint Programming 122
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 122
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 121
Strong Preservation by Model Deformation 121
Unveiling metamorphism by abstract interpretation of code properties 121
Making Abstract Domains Condensing 120
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis 120
Adjoining classified and unclassified information by Abstract Interpretation 118
Abstract extensionality: on the properties of incomplete abstract interpretations 118
Semantic-based code obfuscation by abstract interpretation 117
Transforming semantics by abstract interpretation 117
Compositional Analysis of Modular Logic Programs 115
Compositional Optimization of Disjunctive Abstract Interpretations 114
Program Analysis is Harder than Verification: A Computability Perspective 114
Formal framework for reasoning about the precision of dynamic analysis 113
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 113
Domain Compression for Complete Abstractions 112
Learning metamorphic malware signatures from samples 112
Analyzing Program Analyses 112
Complementing Logic Program Semantics 111
An Abstract Interpretation-based Model for Safety Semantics 110
Modeling Information Flow Dependencies with Boolean Functions 109
Modeling Prolog Control 109
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 109
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 109
A Logic for Locally Complete Abstract Interpretations 109
What you lose is what you leak: Information leakage in declassification policies 107
Opaque Predicate Detection by Abstract Interpretation 106
Designing Semantics by Domain Complementation 106
Example-Guided Abstraction Simplification 106
Modelling Metamorphism by Abstract Interpretation 105
Semantic-based Code Obfuscation by Abstract Interpretation 104
Complete Abstract Interpretations Made Constructive 103
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 103
Complementation in Abstract Interpretation 102
Obfuscation by Partial Evaluation of Distorted Interpreters 102
Weak Relative Pseudo-Complements of Closure Operators 101
Software Security by Obscurity - A Programming Language Perspective. 98
A²I: abstract² interpretation 98
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 98
Hiding Software Watermarks in Loop Structures. 96
Non-Standard Semantics for Program Slicing 95
Code obfuscation against abstraction refinement attacks 95
Making abstract interpretations complete 94
Toward Digital Asset Protection 91
Incompleteness of States w.r.t. Traces in Model Checking 88
Principles of POPL 86
Foreword: Special issue on the 11th Static Analysis Symposium - SAS 2004 84
Foreword: programming language interference and dependence 83
Totale 13.328
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.974
article - articoli 16.696
book - libri 657
conference - conferenze 24.453
curatela - curatele 497
other - altro 2.990
patent - brevetti 0
selected - selezionate 0
volume - volumi 681
Totale 91.948
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021484 0 0 0 0 0 98 15 88 53 17 93 120
2021/2022775 61 153 26 20 70 13 22 59 53 26 66 206
2022/20231.703 136 130 179 315 165 367 14 110 182 15 58 32
2023/2024955 56 88 86 102 151 87 43 64 19 68 147 44
2024/20252.340 123 217 44 387 109 89 111 220 308 162 224 346
2025/20263.751 553 286 436 768 1.302 406 0 0 0 0 0 0
Totale 14.286