CATALOGO DEI PRODOTTI DELLA RICERCA

GIACOBAZZI, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.863
EU - Europa 3.357
AS - Asia 1.613
AF - Africa 11
OC - Oceania 8
SA - Sud America 8
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.862
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.722
GB - Regno Unito 1.281
CN - Cina 930
SG - Singapore 435
IT - Italia 381
DE - Germania 322
FR - Francia 291
RU - Federazione Russa 274
IE - Irlanda 226
SE - Svezia 213
FI - Finlandia 211
CA - Canada 138
VN - Vietnam 88
JP - Giappone 58
UA - Ucraina 57
BE - Belgio 34
ID - Indonesia 26
TR - Turchia 18
AT - Austria 17
KR - Corea 17
HK - Hong Kong 13
IR - Iran 10
IN - India 8
AU - Australia 7
NL - Olanda 7
TG - Togo 6
GR - Grecia 5
MK - Macedonia 5
CH - Svizzera 4
HR - Croazia 4
AL - Albania 3
BG - Bulgaria 3
CL - Cile 3
RO - Romania 3
BR - Brasile 2
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
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.862
Salva come PNG Salva come JPEG
Città #
Southend 1.028
Chandler 620
Jacksonville 583
Woodbridge 455
Singapore 366
Ann Arbor 288
Houston 272
Dublin 222
Ashburn 204
Verona 156
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
Helsinki 35
Tianjin 35
Zhengzhou 34
New York 29
Guangzhou 27
Jakarta 26
Seattle 26
Milan 25
Santa Clara 25
Brussels 24
Hangzhou 23
Nanchang 22
Jiaxing 21
Ningbo 20
Taizhou 19
Paris 18
Seoul 16
Taiyuan 14
Lanzhou 13
Ottawa 13
Washington 13
Hong Kong 11
Moscow 10
Redwood City 10
Vienna 10
Fairfield 9
London 9
Dallas 8
Fuzhou 8
Gent 8
Kent 8
Toronto 8
Norwalk 7
Rome 7
San Francisco 7
Sydney 7
Catanzaro 6
Edinburgh 6
Lomé 6
Auburn Hills 5
Bressanone 5
Chicago 5
Los Angeles 5
Mehlingen 5
Nuremberg 5
Phoenix 5
Skopje 5
Udine 5
Canterbury 4
Cevo 4
Düsseldorf 4
Lappeenranta 4
Mantova 4
Pisa 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
Frankfurt am Main 3
Isola della Scala 3
Modena 3
Redmond 3
Shanghai 3
Sofia 3
Vicenza 3
Xian 3
Zurich 3
Totale 6.316
Salva come PNG Salva come JPEG
Nome #
Relock-based vulnerability in Windows 7 488
Abstract Non-Interference: A unifying framework for weakening information flow 149
A weakening residuation in adjoining closures 141
Abstract Non-Interference 139
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 131
SEA: String Executability Analysis by Abstract Interpretation 125
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 119
Making abstract models complete 116
Control code obfuscation by abstract interpretation 114
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 114
An Abstract Interpretation-based Model for Safety Semantics 114
14th International symposium on Verification, Model Checking and Abstract Interpretation 113
Adjoining classified and unclassified information by Abstract Interpretation 109
Active Android malware analysis: an approach based on stochastic games 109
A Bottom-Up Polymorphic Type Inference in Logic Programming 104
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 103
A proof System for Abstract Non-Interference 103
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 103
Fast location of similar code fragments using semantic 'juice' 102
Twisting Additivity in Program Obfuscation 101
Refining and Compressing Abstract Model Checking 100
Timed Abstract Non-Interference 99
Compositionality in the puzzle of semantics 98
Weakening Additivity in Adjoining Closures 98
Adjoining Declassification and Attack Models by Abstract Interpretation 97
Analyzing program dependences for malware detection. 97
Abductive Analysis of Modular Logic Programs 97
Building Complete Abstract Interpretations in a Linear Logic-based Setting 96
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 94
A Unifying View of Abstract Domain Design 93
States vs. Traces in Model Checking by Abstract Interpretation 91
An Application of Constraint Propagation to Data-Flow Analysis 90
On Entropy Measures for Code Obfuscation 90
Incompleteness, counterexamples and refinements in abstract model-checking 89
Formal Framework for Property-driven Obfuscations 89
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 89
Semantic-based code obfuscation by abstract interpretation 88
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 88
Maximal incompleteness as obfuscation potency 88
Proving abstract non-interference 87
Making Abstract Domains Condensing 85
Transforming semantics by abstract interpretation 85
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 85
Compositional Analysis of Modular Logic Programs 85
A deep learning approach to program similarity. 85
A characterization of symmetric semantics by domain complementation 84
Abstracting Synchronization in Concurrent Constraint Programming 84
Domain Compression for Complete Abstractions 83
Adjoining classified and unclassified information by Abstract Interpretation 81
Modeling Information Flow Dependencies with Boolean Functions 80
Modelling Prolog Control 80
Completeness in Approximate Transduction 80
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 79
Oracle Semantics for Prolog 79
Abstract interpretation of resolution-based semantics 77
A Generalized Semantics for Constraint Logic Programs 77
Abstract Interpretation-Based Protection 77
Opaque Predicate Detection by Abstract Interpretation 76
A proof system for Abstract Non-Interference 76
Complementation in Abstract Interpretation 76
Strong Preservation by Model Deformation 76
Compositional Optimization of Disjunctive Abstract Interpretations 76
Designing Semantics by Domain Complementation 75
Modeling Prolog Control 75
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 74
Complementing Logic Program Semantics 74
What you lose is what you leak: Information leakage in declassification policies 73
Complete Abstract Interpretations Made Constructive 73
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 73
Oracle Semantics for Prolog 73
Data augmentation and transfer learning to classify malware images in a deep learning context 73
An Abstract Interpretation-based Model for Safety Semantics 71
Software Security by Obscurity - A Programming Language Perspective. 70
Abstract Interpretation of Indexed Grammars. 70
Unveiling metamorphism by abstract interpretation of code properties 69
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 69
Modelling Metamorphism by Abstract Interpretation 68
Analyzing Program Analyses 68
Semantic-based Code Obfuscation by Abstract Interpretation 67
Weak Relative Pseudo-Complements of Closure Operators 67
Toward Digital Asset Protection 66
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 66
Obfuscation by Partial Evaluation of Distorted Interpreters 65
Making abstract interpretations complete 63
Non-Standard Semantics for Program Slicing 63
Hiding Software Watermarks in Loop Structures. 61
Incompleteness of States w.r.t. Traces in Model Checking 60
Principles of POPL 57
Formal framework for reasoning about the precision of dynamic analysis 57
Learning metamorphic malware signatures from samples 56
Example-Guided Abstraction Simplification 55
A²I: abstract² interpretation 54
Program Analysis is Harder than Verification: A Computability Perspective 53
Obscuring Code - Unveiling and Veiling Information in Programs. 51
Abstract extensionality: on the properties of incomplete abstract interpretations 50
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis 50
Code Obfuscation Against Abstract Model Checking Attacks. 49
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 48
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 48
Foreword: programming language interference and dependence 46
Totale 8.721
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.161
article - articoli 10.451
book - libri 446
conference - conferenze 15.549
curatela - curatele 327
other - altro 1.958
patent - brevetti 0
selected - selezionate 0
volume - volumi 430
Totale 58.322
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020683 0 0 0 0 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/2025872 123 217 44 387 101 0 0 0 0 0 0 0
Totale 9.067