CATALOGO DEI PRODOTTI DELLA RICERCA

GIACOBAZZI, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.210
EU - Europa 5.540
AS - Asia 4.279
SA - Sud America 451
Continente sconosciuto - Info sul continente non disponibili 229
AF - Africa 110
OC - Oceania 12
Totale 17.831
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.963
SG - Singapore 1.795
RU - Federazione Russa 1.630
GB - Regno Unito 1.333
CN - Cina 1.243
IT - Italia 852
DE - Germania 406
HK - Hong Kong 395
FR - Francia 343
BR - Brasile 340
VN - Vietnam 294
FI - Finlandia 266
IE - Irlanda 234
SE - Svezia 225
CA - Canada 193
KR - Corea 136
JP - Giappone 80
BD - Bangladesh 69
UA - Ucraina 64
IN - India 49
ID - Indonesia 44
TR - Turchia 40
BE - Belgio 36
AR - Argentina 28
AT - Austria 26
VE - Venezuela 26
NL - Olanda 23
IQ - Iraq 21
ZA - Sudafrica 21
PL - Polonia 18
ES - Italia 15
MA - Marocco 15
EC - Ecuador 14
SA - Arabia Saudita 14
CO - Colombia 13
TN - Tunisia 13
MX - Messico 12
NG - Nigeria 12
IR - Iran 11
CL - Cile 10
CR - Costa Rica 10
PH - Filippine 10
PK - Pakistan 10
UZ - Uzbekistan 10
AU - Australia 9
EG - Egitto 9
GR - Grecia 9
JM - Giamaica 9
KE - Kenya 9
MY - Malesia 9
NP - Nepal 9
BO - Bolivia 7
CH - Svizzera 7
AL - Albania 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
DK - Danimarca 4
HN - Honduras 4
HR - Croazia 4
IL - Israele 4
KZ - Kazakistan 4
LT - Lituania 4
UY - Uruguay 4
BG - Bulgaria 3
CZ - Repubblica Ceca 3
DO - Repubblica Dominicana 3
EE - Estonia 3
GT - Guatemala 3
KH - Cambogia 3
PE - Perù 3
PR - Porto Rico 3
PT - Portogallo 3
QA - Qatar 3
TH - Thailandia 3
TT - Trinidad e Tobago 3
XK - ???statistics.table.value.countryCode.XK??? 3
AI - Anguilla 2
AO - Angola 2
AZ - Azerbaigian 2
BJ - Benin 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
SY - Repubblica araba siriana 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BW - Botswana 1
BY - Bielorussia 1
CD - Congo 1
Totale 17.587
Salva come PNG Salva come JPEG
Città #
Singapore 1.117
Southend 1.028
Ashburn 958
Chandler 621
San Jose 613
Jacksonville 584
Moscow 495
Woodbridge 455
Dallas 429
Hong Kong 391
Verona 305
Ann Arbor 288
Houston 283
Dublin 228
The Dalles 219
Council Bluffs 216
Beijing 166
Munich 157
Wilmington 116
Montréal 114
Mcallen 107
Lawrence 106
Princeton 106
Jinan 104
Staranzano 99
Los Angeles 83
Milan 78
Nanjing 78
Santa Clara 75
Tokyo 72
Helsinki 69
Shenyang 63
Ho Chi Minh City 62
Dong Ket 61
Hanoi 60
New York 59
Hebei 57
Changsha 56
Boardman 52
Buffalo 51
Columbus 41
Tianjin 40
Haikou 38
Sindelfingen 38
Guangzhou 35
São Paulo 34
Zhengzhou 34
Redondo Beach 33
Seattle 31
Hangzhou 30
Jakarta 29
Frankfurt am Main 27
Rome 27
Brussels 25
Chicago 23
Paris 23
Nanchang 22
Brooklyn 21
Jiaxing 21
Rio de Janeiro 21
Ningbo 20
Taizhou 20
London 18
Toronto 17
Turku 17
Seoul 16
Phoenix 15
Providence 15
Vienna 15
Falkenstein 14
Johannesburg 14
Lanzhou 14
Ottawa 14
San Francisco 14
Taiyuan 14
Washington 14
Boston 13
Montreal 13
Abuja 12
Da Nang 12
Orem 12
Stockholm 12
Atlanta 11
Bologna 11
Des Moines 11
Haiphong 11
Vicenza 11
Warsaw 11
Charlotte 10
Chennai 10
Dhaka 10
Fairfield 10
Newark 10
Redwood City 10
Tashkent 10
Amsterdam 9
Kent 9
San José 9
Brescia 8
Casablanca 8
Totale 11.378
Salva come PNG Salva come JPEG
Nome #
Relock-based vulnerability in Windows 7 555
A weakening residuation in adjoining closures 292
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 280
Abstract Non-Interference 251
Abstract Non-Interference: A unifying framework for weakening information flow 247
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 237
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 235
14th International symposium on Verification, Model Checking and Abstract Interpretation 217
Data augmentation and transfer learning to classify malware images in a deep learning context 217
Control code obfuscation by abstract interpretation 216
A proof System for Abstract Non-Interference 212
Active Android malware analysis: an approach based on stochastic games 209
SEA: String Executability Analysis by Abstract Interpretation 201
A deep learning approach to program similarity. 200
A Unifying View of Abstract Domain Design 199
Abductive Analysis of Modular Logic Programs 193
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 190
Analyzing program dependences for malware detection. 190
On Entropy Measures for Code Obfuscation 190
Making abstract models complete 188
A characterization of symmetric semantics by domain complementation 187
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 187
A Bottom-Up Polymorphic Type Inference in Logic Programming 187
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 177
A proof system for Abstract Non-Interference 175
Adjoining Declassification and Attack Models by Abstract Interpretation 174
A Generalized Semantics for Constraint Logic Programs 174
An Abstract Interpretation-based Model for Safety Semantics 172
Abstract Interpretation of Indexed Grammars. 172
Compositionality in the puzzle of semantics 170
Adjoining classified and unclassified information by Abstract Interpretation 170
Weakening Additivity in Adjoining Closures 170
Building Complete Abstract Interpretations in a Linear Logic-based Setting 169
Timed Abstract Non-Interference 165
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 164
Refining and Compressing Abstract Model Checking 161
Abstract interpretation of resolution-based semantics 161
Fast location of similar code fragments using semantic 'juice' 161
Completeness in Approximate Transduction 159
Learning metamorphic malware signatures from samples 159
States vs. Traces in Model Checking by Abstract Interpretation 158
Incompleteness, counterexamples and refinements in abstract model-checking 158
Maximal incompleteness as obfuscation potency 158
Abstract extensionality: on the properties of incomplete abstract interpretations 158
Proving abstract non-interference 157
An Application of Constraint Propagation to Data-Flow Analysis 157
Formal Framework for Property-driven Obfuscations 156
Abstract Interpretation-Based Protection 156
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 152
Abstracting Synchronization in Concurrent Constraint Programming 152
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis 152
Making Abstract Domains Condensing 150
Complementing Logic Program Semantics 150
Opaque Predicate Detection by Abstract Interpretation 149
Oracle Semantics for Prolog 149
Twisting Additivity in Program Obfuscation 149
Oracle Semantics for Prolog 148
Program Analysis is Harder than Verification: A Computability Perspective 147
Unveiling metamorphism by abstract interpretation of code properties 146
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 145
Strong Preservation by Model Deformation 144
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 144
Modelling Prolog Control 144
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 144
Formal framework for reasoning about the precision of dynamic analysis 144
A Logic for Locally Complete Abstract Interpretations 144
Domain Compression for Complete Abstractions 142
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 141
Compositional Analysis of Modular Logic Programs 141
Analyzing Program Analyses 141
Transforming semantics by abstract interpretation 140
Adjoining classified and unclassified information by Abstract Interpretation 140
A²I: abstract² interpretation 140
Semantic-based Code Obfuscation by Abstract Interpretation 139
Designing Semantics by Domain Complementation 138
Semantic-based code obfuscation by abstract interpretation 137
An Abstract Interpretation-based Model for Safety Semantics 137
Compositional Optimization of Disjunctive Abstract Interpretations 137
Modelling Metamorphism by Abstract Interpretation 136
What you lose is what you leak: Information leakage in declassification policies 134
Modeling Information Flow Dependencies with Boolean Functions 134
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 134
Making abstract interpretations complete 133
Example-Guided Abstraction Simplification 132
Weak Relative Pseudo-Complements of Closure Operators 132
Obfuscation by Partial Evaluation of Distorted Interpreters 132
Hiding Software Watermarks in Loop Structures. 127
Code obfuscation against abstraction refinement attacks 127
Modeling Prolog Control 126
Complementation in Abstract Interpretation 126
Complete Abstract Interpretations Made Constructive 125
Non-Standard Semantics for Program Slicing 123
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 121
Abstract interpretation repair 118
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation 118
Software Security by Obscurity - A Programming Language Perspective. 118
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 114
Monotonicity and the Precision of Program Analysis 113
Incompleteness of States w.r.t. Traces in Model Checking 113
Toward Digital Asset Protection 113
Totale 16.466
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.214
article - articoli 21.187
book - libri 823
conference - conferenze 31.109
curatela - curatele 593
other - altro 3.656
patent - brevetti 0
selected - selezionate 0
volume - volumi 846
Totale 116.428
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022535 0 0 0 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/20271.150 113 161 475 401 0 0 0 0 0 0 0 0
Totale 17.831