CATALOGO DEI PRODOTTI DELLA RICERCA

GIACOBAZZI, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.794
EU - Europa 3.249
AS - Asia 1.295
OC - Oceania 8
SA - Sud America 7
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.360
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.656
GB - Regno Unito 1.279
CN - Cina 873
IT - Italia 367
DE - Germania 320
FR - Francia 291
IE - Irlanda 226
SE - Svezia 211
FI - Finlandia 209
SG - Singapore 202
RU - Federazione Russa 190
CA - Canada 135
VN - Vietnam 88
JP - Giappone 58
UA - Ucraina 57
BE - Belgio 33
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
HR - Croazia 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
HU - Ungheria 2
MA - Marocco 2
PL - Polonia 2
PT - Portogallo 2
UZ - Uzbekistan 2
AI - Anguilla 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BO - Bolivia 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
Totale 8.360
Salva come PNG Salva come JPEG
Città #
Southend 1.028
Chandler 620
Jacksonville 583
Woodbridge 455
Ann Arbor 288
Houston 272
Dublin 222
Ashburn 199
Verona 156
Singapore 145
Munich 131
Wilmington 115
Montréal 114
Mcallen 107
Lawrence 106
Princeton 106
Beijing 102
Jinan 101
Nanjing 78
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 25
Brussels 23
Guangzhou 23
Hangzhou 23
Nanchang 22
Jiaxing 21
Ningbo 20
Paris 18
Taizhou 18
Santa Clara 15
Seoul 15
Taiyuan 14
Lanzhou 13
Washington 13
Ottawa 12
Hong Kong 11
Redwood City 10
Vienna 10
Fairfield 9
Dallas 8
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
Chicago 5
Los Angeles 5
Mehlingen 5
Nuremberg 5
Phoenix 5
Rome 5
Skopje 5
Udine 5
Canterbury 4
Cevo 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
Lappeenranta 3
Modena 3
Moscow 3
Redmond 3
Shanghai 3
Sofia 3
Xian 3
Zurich 3
Bend 2
Budapest 2
Busso 2
Casablanca 2
Castelnuovo Magra 2
Totale 6.021
Salva come PNG Salva come JPEG
Nome #
Relock-based vulnerability in Windows 7 482
Abstract Non-Interference: A unifying framework for weakening information flow 142
Abstract Non-Interference 135
A weakening residuation in adjoining closures 134
SEA: String Executability Analysis by Abstract Interpretation 121
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 117
Making abstract models complete 114
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 114
14th International symposium on Verification, Model Checking and Abstract Interpretation 109
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 109
Control code obfuscation by abstract interpretation 108
Adjoining classified and unclassified information by Abstract Interpretation 105
An Abstract Interpretation-based Model for Safety Semantics 105
Active Android malware analysis: an approach based on stochastic games 102
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 100
A proof System for Abstract Non-Interference 99
A Bottom-Up Polymorphic Type Inference in Logic Programming 99
Twisting Additivity in Program Obfuscation 99
Refining and Compressing Abstract Model Checking 98
Fast location of similar code fragments using semantic 'juice' 98
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 97
Timed Abstract Non-Interference 96
Compositionality in the puzzle of semantics 95
Adjoining Declassification and Attack Models by Abstract Interpretation 95
Weakening Additivity in Adjoining Closures 94
Analyzing program dependences for malware detection. 92
Building Complete Abstract Interpretations in a Linear Logic-based Setting 91
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 90
Abductive Analysis of Modular Logic Programs 90
A Unifying View of Abstract Domain Design 88
Semantic-based code obfuscation by abstract interpretation 85
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 85
An Application of Constraint Propagation to Data-Flow Analysis 85
Formal Framework for Property-driven Obfuscations 85
Incompleteness, counterexamples and refinements in abstract model-checking 84
Proving abstract non-interference 84
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 84
Maximal incompleteness as obfuscation potency 84
On Entropy Measures for Code Obfuscation 84
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 83
States vs. Traces in Model Checking by Abstract Interpretation 82
Making Abstract Domains Condensing 82
Transforming semantics by abstract interpretation 82
Compositional Analysis of Modular Logic Programs 82
Domain Compression for Complete Abstractions 80
A characterization of symmetric semantics by domain complementation 79
A deep learning approach to program similarity. 79
Modeling Information Flow Dependencies with Boolean Functions 78
Abstracting Synchronization in Concurrent Constraint Programming 78
Adjoining classified and unclassified information by Abstract Interpretation 77
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 75
Oracle Semantics for Prolog 75
Complementation in Abstract Interpretation 74
Modelling Prolog Control 74
Completeness in Approximate Transduction 74
Compositional Optimization of Disjunctive Abstract Interpretations 73
Abstract Interpretation-Based Protection 73
Designing Semantics by Domain Complementation 72
Modeling Prolog Control 72
Strong Preservation by Model Deformation 72
Opaque Predicate Detection by Abstract Interpretation 71
A proof system for Abstract Non-Interference 71
A Generalized Semantics for Constraint Logic Programs 71
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 71
Complementing Logic Program Semantics 71
What you lose is what you leak: Information leakage in declassification policies 69
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 69
Complete Abstract Interpretations Made Constructive 69
Software Security by Obscurity - A Programming Language Perspective. 69
Abstract interpretation of resolution-based semantics 68
Oracle Semantics for Prolog 68
An Abstract Interpretation-based Model for Safety Semantics 67
Abstract Interpretation of Indexed Grammars. 66
Data augmentation and transfer learning to classify malware images in a deep learning context 66
Unveiling metamorphism by abstract interpretation of code properties 65
Weak Relative Pseudo-Complements of Closure Operators 65
Analyzing Program Analyses 65
Modelling Metamorphism by Abstract Interpretation 64
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 64
Semantic-based Code Obfuscation by Abstract Interpretation 63
Toward Digital Asset Protection 63
Obfuscation by Partial Evaluation of Distorted Interpreters 62
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 62
Making abstract interpretations complete 61
Non-Standard Semantics for Program Slicing 60
Hiding Software Watermarks in Loop Structures. 59
Incompleteness of States w.r.t. Traces in Model Checking 56
Principles of POPL 54
Formal framework for reasoning about the precision of dynamic analysis 52
Learning metamorphic malware signatures from samples 50
Program Analysis is Harder than Verification: A Computability Perspective 48
Example-Guided Abstraction Simplification 47
Obscuring Code - Unveiling and Veiling Information in Programs. 47
A²I: abstract² interpretation 47
Code Obfuscation Against Abstract Model Checking Attacks. 46
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 45
Abstract extensionality: on the properties of incomplete abstract interpretations 45
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 44
Foreword: Special issue on the 11th Static Analysis Symposium - SAS 2004 42
Foreword: programming language interference and dependence 42
Totale 8.278
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.063
article - articoli 9.695
book - libri 415
conference - conferenze 14.450
curatela - curatele 304
other - altro 1.796
patent - brevetti 0
selected - selezionate 0
volume - volumi 403
Totale 54.126
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020860 0 0 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/2025370 123 217 30 0 0 0 0 0 0 0 0 0
Totale 8.565