CATALOGO DEI PRODOTTI DELLA RICERCA

GIACOBAZZI, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.402
EU - Europa 5.392
AS - Asia 4.253
SA - Sud America 428
Continente sconosciuto - Info sul continente non disponibili 227
AF - Africa 110
OC - Oceania 12
Totale 16.824
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.189
SG - Singapore 1.790
RU - Federazione Russa 1.629
GB - Regno Unito 1.325
CN - Cina 1.241
IT - Italia 726
DE - Germania 404
HK - Hong Kong 393
FR - Francia 341
BR - Brasile 332
VN - Vietnam 293
FI - Finlandia 266
IE - Irlanda 233
SE - Svezia 224
CA - Canada 172
KR - Corea 136
JP - Giappone 76
UA - Ucraina 64
BD - Bangladesh 62
IN - India 49
ID - Indonesia 42
TR - Turchia 40
BE - Belgio 36
AT - Austria 26
AR - Argentina 25
IQ - Iraq 21
VE - Venezuela 21
ZA - Sudafrica 21
NL - Olanda 19
PL - Polonia 18
ES - Italia 15
MA - Marocco 15
SA - Arabia Saudita 13
TN - Tunisia 13
CO - Colombia 12
NG - Nigeria 12
IR - Iran 11
MX - Messico 11
PK - Pakistan 10
UZ - Uzbekistan 10
AU - Australia 9
CL - Cile 9
EC - Ecuador 9
EG - Egitto 9
GR - Grecia 9
KE - Kenya 9
NP - Nepal 9
PH - Filippine 9
MY - Malesia 8
BO - Bolivia 7
AL - Albania 6
CR - Costa Rica 6
JO - Giordania 6
PY - Paraguay 6
RO - Romania 6
SN - Senegal 6
TG - Togo 6
DZ - Algeria 5
MK - Macedonia 5
AE - Emirati Arabi Uniti 4
CH - Svizzera 4
DK - Danimarca 4
HN - Honduras 4
HR - Croazia 4
IL - Israele 4
JM - Giamaica 4
KZ - Kazakistan 4
LT - Lituania 4
UY - Uruguay 4
BG - Bulgaria 3
CZ - Repubblica Ceca 3
EE - Estonia 3
GT - Guatemala 3
KH - Cambogia 3
PE - Perù 3
PT - Portogallo 3
QA - Qatar 3
TH - Thailandia 3
AI - Anguilla 2
AO - Angola 2
AZ - Azerbaigian 2
BJ - Benin 2
DO - Repubblica Dominicana 2
EU - Europa 2
GE - Georgia 2
HU - Ungheria 2
LU - Lussemburgo 2
MD - Moldavia 2
MU - Mauritius 2
OM - Oman 2
PA - Panama 2
PR - Porto Rico 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BW - Botswana 1
BY - Bielorussia 1
CD - Congo 1
Totale 16.581
Salva come PNG Salva come JPEG
Città #
Singapore 1.117
Southend 1.028
Ashburn 756
Chandler 621
Jacksonville 584
San Jose 527
Moscow 495
Woodbridge 455
Hong Kong 389
Dallas 384
Verona 303
Ann Arbor 288
Houston 281
Dublin 228
The Dalles 218
Beijing 166
Munich 157
Council Bluffs 126
Wilmington 116
Montréal 114
Mcallen 107
Lawrence 106
Princeton 106
Jinan 104
Nanjing 78
Los Angeles 75
Milan 75
Helsinki 69
Tokyo 69
Shenyang 63
Ho Chi Minh City 62
Dong Ket 61
Hanoi 59
Hebei 57
Changsha 56
New York 55
Santa Clara 55
Boardman 51
Buffalo 50
Columbus 40
Tianjin 40
Haikou 38
Sindelfingen 38
Guangzhou 35
Zhengzhou 34
Redondo Beach 33
São Paulo 31
Hangzhou 30
Seattle 30
Jakarta 29
Frankfurt am Main 27
Brussels 25
Rome 25
Nanchang 22
Paris 22
Jiaxing 21
Rio de Janeiro 21
Ningbo 20
Taizhou 20
Chicago 19
London 18
Brooklyn 17
Turku 17
Seoul 16
Vienna 15
Falkenstein 14
Johannesburg 14
Lanzhou 14
Ottawa 14
San Francisco 14
Taiyuan 14
Toronto 14
Phoenix 13
Washington 13
Abuja 12
Da Nang 12
Orem 12
Bologna 11
Boston 11
Des Moines 11
Haiphong 11
Stockholm 11
Vicenza 11
Warsaw 11
Chennai 10
Montreal 10
Redwood City 10
Tashkent 10
Amsterdam 9
Charlotte 9
Fairfield 9
Atlanta 8
Casablanca 8
Dhaka 8
Fuzhou 8
Gent 8
Kent 8
Lappeenranta 8
Nairobi 8
Nuremberg 8
Totale 10.770
Salva come PNG Salva come JPEG
Nome #
Relock-based vulnerability in Windows 7 543
A weakening residuation in adjoining closures 272
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 257
Abstract Non-Interference: A unifying framework for weakening information flow 241
Abstract Non-Interference 240
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 226
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 226
14th International symposium on Verification, Model Checking and Abstract Interpretation 212
Control code obfuscation by abstract interpretation 208
A proof System for Abstract Non-Interference 205
Active Android malware analysis: an approach based on stochastic games 202
Data augmentation and transfer learning to classify malware images in a deep learning context 200
SEA: String Executability Analysis by Abstract Interpretation 197
A deep learning approach to program similarity. 193
A Unifying View of Abstract Domain Design 191
Abductive Analysis of Modular Logic Programs 186
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 182
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 181
Analyzing program dependences for malware detection. 181
A Bottom-Up Polymorphic Type Inference in Logic Programming 180
Making abstract models complete 177
A characterization of symmetric semantics by domain complementation 175
On Entropy Measures for Code Obfuscation 174
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 169
A proof system for Abstract Non-Interference 167
An Abstract Interpretation-based Model for Safety Semantics 167
Adjoining Declassification and Attack Models by Abstract Interpretation 165
Abstract Interpretation of Indexed Grammars. 165
Adjoining classified and unclassified information by Abstract Interpretation 164
Building Complete Abstract Interpretations in a Linear Logic-based Setting 164
A Generalized Semantics for Constraint Logic Programs 164
Weakening Additivity in Adjoining Closures 162
Compositionality in the puzzle of semantics 161
Abstract interpretation of resolution-based semantics 155
Timed Abstract Non-Interference 154
Refining and Compressing Abstract Model Checking 154
Fast location of similar code fragments using semantic 'juice' 154
Completeness in Approximate Transduction 154
Maximal incompleteness as obfuscation potency 152
Abstract Interpretation-Based Protection 150
States vs. Traces in Model Checking by Abstract Interpretation 149
Abstract extensionality: on the properties of incomplete abstract interpretations 149
An Application of Constraint Propagation to Data-Flow Analysis 148
Incompleteness, counterexamples and refinements in abstract model-checking 147
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 147
Formal Framework for Property-driven Obfuscations 147
Abstracting Synchronization in Concurrent Constraint Programming 146
Proving abstract non-interference 145
Learning metamorphic malware signatures from samples 145
Making Abstract Domains Condensing 144
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 143
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 142
Oracle Semantics for Prolog 142
Oracle Semantics for Prolog 142
Program Analysis is Harder than Verification: A Computability Perspective 140
Formal framework for reasoning about the precision of dynamic analysis 140
Unveiling metamorphism by abstract interpretation of code properties 139
Complementing Logic Program Semantics 139
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis 139
Opaque Predicate Detection by Abstract Interpretation 138
Adjoining classified and unclassified information by Abstract Interpretation 136
Strong Preservation by Model Deformation 136
Twisting Additivity in Program Obfuscation 136
Compositional Analysis of Modular Logic Programs 135
Analyzing Program Analyses 135
Modelling Prolog Control 134
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 134
Transforming semantics by abstract interpretation 132
A Logic for Locally Complete Abstract Interpretations 131
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 131
Semantic-based code obfuscation by abstract interpretation 130
An Abstract Interpretation-based Model for Safety Semantics 130
Semantic-based Code Obfuscation by Abstract Interpretation 130
Domain Compression for Complete Abstractions 130
Compositional Optimization of Disjunctive Abstract Interpretations 129
What you lose is what you leak: Information leakage in declassification policies 128
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 128
Modelling Metamorphism by Abstract Interpretation 127
Weak Relative Pseudo-Complements of Closure Operators 127
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 126
A²I: abstract² interpretation 126
Designing Semantics by Domain Complementation 125
Example-Guided Abstraction Simplification 125
Obfuscation by Partial Evaluation of Distorted Interpreters 125
Modeling Information Flow Dependencies with Boolean Functions 123
Modeling Prolog Control 123
Hiding Software Watermarks in Loop Structures. 122
Complementation in Abstract Interpretation 121
Complete Abstract Interpretations Made Constructive 121
Code obfuscation against abstraction refinement attacks 120
Making abstract interpretations complete 118
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 114
Non-Standard Semantics for Program Slicing 113
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 111
Software Security by Obscurity - A Programming Language Perspective. 111
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 109
Abstract interpretation repair 108
Incompleteness of States w.r.t. Traces in Model Checking 106
Monotonicity and the Precision of Program Analysis 105
Toward Digital Asset Protection 105
Totale 15.597
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.890
article - articoli 19.980
book - libri 775
conference - conferenze 29.289
curatela - curatele 571
other - altro 3.470
patent - brevetti 0
selected - selezionate 0
volume - volumi 805
Totale 109.780
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022714 0 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/20266.146 553 286 436 768 1.302 447 755 385 500 423 107 184
2026/2027143 113 30 0 0 0 0 0 0 0 0 0 0
Totale 16.824