GIACOBAZZI, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 3.766
EU - Europa 3.130
AS - Asia 1.151
OC - Oceania 8
SA - Sud America 6
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.068
Nazione #
US - Stati Uniti d'America 3.628
GB - Regno Unito 1.279
CN - Cina 835
IT - Italia 360
DE - Germania 315
FR - Francia 290
IE - Irlanda 226
SE - Svezia 210
FI - Finlandia 208
CA - Canada 135
SG - Singapore 97
RU - Federazione Russa 90
VN - Vietnam 88
JP - Giappone 58
UA - Ucraina 57
BE - Belgio 31
TR - Turchia 18
AT - Austria 16
KR - Corea 16
HK - Hong Kong 13
IR - Iran 10
AU - Australia 7
IN - India 7
NL - Olanda 7
GR - Grecia 5
MK - Macedonia 5
CH - Svizzera 4
AL - Albania 3
BG - Bulgaria 3
CL - Cile 3
RO - Romania 3
CZ - Repubblica Ceca 2
EE - Estonia 2
ES - Italia 2
EU - Europa 2
HR - Croazia 2
HU - Ungheria 2
MA - Marocco 2
PL - Polonia 2
PT - Portogallo 2
AI - Anguilla 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BR - Brasile 1
BY - Bielorussia 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
IL - Israele 1
KH - Cambogia 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LT - Lituania 1
LU - Lussemburgo 1
MX - Messico 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
SL - Sierra Leone 1
UZ - Uzbekistan 1
Totale 8.068
Città #
Southend 1.028
Chandler 620
Jacksonville 583
Woodbridge 455
Ann Arbor 288
Houston 272
Dublin 222
Ashburn 195
Verona 156
Munich 127
Wilmington 115
Montréal 114
Mcallen 107
Lawrence 106
Princeton 106
Jinan 101
Beijing 100
Nanjing 78
Singapore 73
Shenyang 62
Dong Ket 61
Hebei 57
Changsha 54
Tokyo 54
Boardman 46
Haikou 38
Sindelfingen 37
Tianjin 35
Helsinki 34
Zhengzhou 30
New York 29
Seattle 26
Milan 24
Brussels 23
Hangzhou 23
Nanchang 22
Jiaxing 21
Ningbo 20
Guangzhou 18
Paris 18
Taizhou 18
Seoul 15
Taiyuan 14
Lanzhou 13
Washington 13
Ottawa 12
Hong Kong 11
Redwood City 10
Vienna 10
Fairfield 9
Fuzhou 8
Gent 8
Kent 8
London 8
Norwalk 7
Sydney 7
Catanzaro 6
Edinburgh 6
San Francisco 6
Toronto 6
Auburn Hills 5
Bressanone 5
Los Angeles 5
Mehlingen 5
Nuremberg 5
Phoenix 5
Rome 5
Skopje 5
Udine 5
Canterbury 4
Cevo 4
Chicago 4
Düsseldorf 4
Mantova 4
San Diego 4
San Giorgio di Nogaro 4
Tappahannock 4
Venice 4
Athens 3
Bergamo 3
Bologna 3
Boston 3
Clearwater 3
Dax 3
Isola della Scala 3
Modena 3
Moscow 3
Redmond 3
Sofia 3
Xian 3
Zurich 3
Bend 2
Budapest 2
Busso 2
Casablanca 2
Castelnuovo Magra 2
Dearborn 2
Frankfurt am Main 2
Garda 2
Groningen 2
Totale 5.911
Nome #
Relock-based vulnerability in Windows 7 479
Abstract Non-Interference: A unifying framework for weakening information flow 139
Abstract Non-Interference 132
A weakening residuation in adjoining closures 129
SEA: String Executability Analysis by Abstract Interpretation 119
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 112
Making abstract models complete 109
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 108
Control code obfuscation by abstract interpretation 107
14th International symposium on Verification, Model Checking and Abstract Interpretation 107
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 106
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
A proof System for Abstract Non-Interference 97
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 96
Refining and Compressing Abstract Model Checking 96
Fast location of similar code fragments using semantic 'juice' 96
Twisting Additivity in Program Obfuscation 96
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 95
A Bottom-Up Polymorphic Type Inference in Logic Programming 95
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
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 88
Building Complete Abstract Interpretations in a Linear Logic-based Setting 87
Abductive Analysis of Modular Logic Programs 86
A Unifying View of Abstract Domain Design 85
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 84
An Application of Constraint Propagation to Data-Flow Analysis 83
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 83
Semantic-based code obfuscation by abstract interpretation 82
Formal Framework for Property-driven Obfuscations 82
On Entropy Measures for Code Obfuscation 82
Maximal incompleteness as obfuscation potency 81
Incompleteness, counterexamples and refinements in abstract model-checking 80
Proving abstract non-interference 80
Making Abstract Domains Condensing 80
Transforming semantics by abstract interpretation 80
Compositional Analysis of Modular Logic Programs 80
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 79
States vs. Traces in Model Checking by Abstract Interpretation 78
Domain Compression for Complete Abstractions 78
A deep learning approach to program similarity. 77
A characterization of symmetric semantics by domain complementation 76
Adjoining classified and unclassified information by Abstract Interpretation 76
Modeling Information Flow Dependencies with Boolean Functions 75
Abstracting Synchronization in Concurrent Constraint Programming 74
Completeness in Approximate Transduction 73
Complementation in Abstract Interpretation 72
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 72
Oracle Semantics for Prolog 72
Opaque Predicate Detection by Abstract Interpretation 70
Compositional Optimization of Disjunctive Abstract Interpretations 70
Modelling Prolog Control 70
Abstract Interpretation-Based Protection 70
Designing Semantics by Domain Complementation 69
A proof system for Abstract Non-Interference 69
Modeling Prolog Control 69
A Generalized Semantics for Constraint Logic Programs 69
What you lose is what you leak: Information leakage in declassification policies 68
Complete Abstract Interpretations Made Constructive 68
Strong Preservation by Model Deformation 68
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 68
Complementing Logic Program Semantics 68
Abstract interpretation of resolution-based semantics 67
Software Security by Obscurity - A Programming Language Perspective. 67
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 66
Oracle Semantics for Prolog 65
Abstract Interpretation of Indexed Grammars. 64
Semantic-based Code Obfuscation by Abstract Interpretation 63
Modelling Metamorphism by Abstract Interpretation 63
Unveiling metamorphism by abstract interpretation of code properties 63
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 63
Weak Relative Pseudo-Complements of Closure Operators 63
Analyzing Program Analyses 63
An Abstract Interpretation-based Model for Safety Semantics 62
Toward Digital Asset Protection 61
Data augmentation and transfer learning to classify malware images in a deep learning context 61
Obfuscation by Partial Evaluation of Distorted Interpreters 60
Making abstract interpretations complete 59
Non-Standard Semantics for Program Slicing 59
Hiding Software Watermarks in Loop Structures. 58
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 55
Incompleteness of States w.r.t. Traces in Model Checking 54
Principles of POPL 51
Formal framework for reasoning about the precision of dynamic analysis 51
Obscuring Code - Unveiling and Veiling Information in Programs. 46
Learning metamorphic malware signatures from samples 46
Example-Guided Abstraction Simplification 45
Code Obfuscation Against Abstract Model Checking Attacks. 45
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 44
Program Analysis is Harder than Verification: A Computability Perspective 44
A²I: abstract² interpretation 44
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 43
Abstract extensionality: on the properties of incomplete abstract interpretations 42
Foreword: Special issue on the 11th Static Analysis Symposium - SAS 2004 40
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis 39
Totale 8.015
Categoria #
all - tutte 24.592
article - articoli 8.781
book - libri 372
conference - conferenze 13.140
curatela - curatele 284
other - altro 1.642
patent - brevetti 0
selected - selezionate 0
volume - volumi 373
Totale 49.184


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.073 159 54 41 136 150 105 92 67 30 105 46 88
2020/20211.122 173 217 35 94 119 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/202578 78 0 0 0 0 0 0 0 0 0 0 0
Totale 8.273