CATALOGO DEI PRODOTTI DELLA RICERCA

GIACOBAZZI, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.749
EU - Europa 3.042
AS - Asia 990
OC - Oceania 8
SA - Sud America 6
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.802
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.611
GB - Regno Unito 1.278
CN - Cina 821
IT - Italia 346
DE - Germania 314
FR - Francia 289
IE - Irlanda 226
SE - Svezia 210
FI - Finlandia 205
CA - Canada 135
VN - Vietnam 88
UA - Ucraina 57
BE - Belgio 31
RU - Federazione Russa 23
TR - Turchia 18
AT - Austria 16
KR - Corea 16
IR - Iran 10
JP - Giappone 10
SG - Singapore 9
AU - Australia 7
IN - India 7
NL - Olanda 7
GR - Grecia 5
MK - Macedonia 5
CH - Svizzera 4
AL - Albania 3
CL - Cile 3
RO - Romania 3
BG - Bulgaria 2
CZ - Repubblica Ceca 2
EE - Estonia 2
ES - Italia 2
EU - Europa 2
HK - Hong Kong 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 7.802
Salva come PNG Salva come JPEG
Città #
Southend 1.028
Chandler 620
Jacksonville 583
Woodbridge 455
Ann Arbor 288
Houston 272
Dublin 222
Ashburn 190
Verona 156
Munich 127
Wilmington 115
Montréal 114
Mcallen 107
Lawrence 106
Princeton 106
Jinan 101
Beijing 100
Nanjing 78
Shenyang 62
Dong Ket 61
Hebei 57
Changsha 54
Boardman 46
Haikou 38
Sindelfingen 37
Tianjin 35
Helsinki 32
Zhengzhou 30
New York 29
Seattle 26
Brussels 23
Hangzhou 23
Milan 23
Nanchang 22
Jiaxing 21
Ningbo 20
Guangzhou 18
Paris 18
Taizhou 18
Seoul 15
Taiyuan 14
Lanzhou 13
Washington 13
Ottawa 12
Redwood City 10
Vienna 10
Fairfield 9
Fuzhou 8
Gent 8
London 8
Singapore 8
Norwalk 7
Sydney 7
Catanzaro 6
Edinburgh 6
San Francisco 6
Tokyo 6
Toronto 6
Auburn Hills 5
Bressanone 5
Los Angeles 5
Mehlingen 5
Phoenix 5
Skopje 5
Canterbury 4
Cevo 4
Chicago 4
Düsseldorf 4
Mantova 4
Nuremberg 4
San Diego 4
San Giorgio di Nogaro 4
Tappahannock 4
Venice 4
Athens 3
Bergamo 3
Boston 3
Clearwater 3
Dax 3
Isola della Scala 3
Modena 3
Redmond 3
Udine 3
Xian 3
Zurich 3
Bend 2
Bologna 2
Budapest 2
Busso 2
Casablanca 2
Dearborn 2
Frankfurt am Main 2
Garda 2
Groningen 2
Huelva 2
Hyderabad 2
Kemerovo 2
Kilburn 2
Landskrona 2
Legnago 2
Totale 5.766
Salva come PNG Salva come JPEG
Nome #
Relock-based vulnerability in Windows 7 479
Abstract Non-Interference: A unifying framework for weakening information flow 137
Abstract Non-Interference 128
A weakening residuation in adjoining closures 127
SEA: String Executability Analysis by Abstract Interpretation 117
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 110
Making abstract models complete 106
Control code obfuscation by abstract interpretation 105
14th International symposium on Verification, Model Checking and Abstract Interpretation 105
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 103
An Abstract Interpretation-based Model for Safety Semantics 99
Adjoining classified and unclassified information by Abstract Interpretation 98
Fast location of similar code fragments using semantic 'juice' 96
Active Android malware analysis: an approach based on stochastic games 96
Refining and Compressing Abstract Model Checking 95
Generalized Abstract Non-Interference - Abstract Secure Information-flow Analysis for Automata 94
A proof System for Abstract Non-Interference 94
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 94
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 94
Twisting Additivity in Program Obfuscation 93
Compositionality in the puzzle of semantics 91
A Bottom-Up Polymorphic Type Inference in Logic Programming 91
Timed Abstract Non-Interference 90
Weakening Additivity in Adjoining Closures 90
Adjoining Declassification and Attack Models by Abstract Interpretation 88
Analyzing program dependences for malware detection. 88
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 87
Building Complete Abstract Interpretations in a Linear Logic-based Setting 86
Abductive Analysis of Modular Logic Programs 85
A Unifying View of Abstract Domain Design 84
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation 83
Formal Framework for Property-driven Obfuscations 81
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 81
Proving abstract non-interference 80
Semantic-based code obfuscation by abstract interpretation 80
Transforming semantics by abstract interpretation 80
An Application of Constraint Propagation to Data-Flow Analysis 80
Maximal incompleteness as obfuscation potency 79
Compositional Analysis of Modular Logic Programs 79
Making Abstract Domains Condensing 78
On Entropy Measures for Code Obfuscation 78
States vs. Traces in Model Checking by Abstract Interpretation 77
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 77
Domain Compression for Complete Abstractions 77
Incompleteness, counterexamples and refinements in abstract model-checking 76
A characterization of symmetric semantics by domain complementation 75
A deep learning approach to program similarity. 74
Modeling Information Flow Dependencies with Boolean Functions 72
Adjoining classified and unclassified information by Abstract Interpretation 72
Abstracting Synchronization in Concurrent Constraint Programming 72
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 71
Complementation in Abstract Interpretation 70
Completeness in Approximate Transduction 70
Opaque Predicate Detection by Abstract Interpretation 69
Oracle Semantics for Prolog 69
Modeling Prolog Control 68
A Generalized Semantics for Constraint Logic Programs 68
Complementing Logic Program Semantics 68
Modelling Prolog Control 67
Software Security by Obscurity - A Programming Language Perspective. 67
Abstract Interpretation-Based Protection 67
What you lose is what you leak: Information leakage in declassification policies 66
Designing Semantics by Domain Complementation 66
Complete Abstract Interpretations Made Constructive 66
Strong Preservation by Model Deformation 66
A proof system for Abstract Non-Interference 65
Compositional Optimization of Disjunctive Abstract Interpretations 65
Oracle Semantics for Prolog 64
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 63
Abstract interpretation of resolution-based semantics 63
Semantic-based Code Obfuscation by Abstract Interpretation 63
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 63
Abstract Interpretation of Indexed Grammars. 62
Transforming Abstract Interpretations by Abstract Interpretation - New Challenges in Language-based Security 62
Modelling Metamorphism by Abstract Interpretation 61
Unveiling metamorphism by abstract interpretation of code properties 61
Weak Relative Pseudo-Complements of Closure Operators 61
Analyzing Program Analyses 60
Non-Standard Semantics for Program Slicing 59
An Abstract Interpretation-based Model for Safety Semantics 59
Obfuscation by Partial Evaluation of Distorted Interpreters 59
Making abstract interpretations complete 58
Toward Digital Asset Protection 58
Data augmentation and transfer learning to classify malware images in a deep learning context 57
Hiding Software Watermarks in Loop Structures. 56
Incompleteness of States w.r.t. Traces in Model Checking 53
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking 53
Principles of POPL 50
Formal framework for reasoning about the precision of dynamic analysis 49
Obscuring Code - Unveiling and Veiling Information in Programs. 45
Learning metamorphic malware signatures from samples 44
Code Obfuscation Against Abstract Model Checking Attacks. 43
A²I: abstract² interpretation 42
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 41
Example-Guided Abstraction Simplification 41
Program Analysis is Harder than Verification: A Computability Perspective 41
Abstract extensionality: on the properties of incomplete abstract interpretations 39
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis 39
Foreword: Special issue on the 11th Static Analysis Symposium - SAS 2004 38
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 38
Totale 7.794
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.275
article - articoli 7.909
book - libri 330
conference - conferenze 11.939
curatela - curatele 258
other - altro 1.499
patent - brevetti 0
selected - selezionate 0
volume - volumi 340
Totale 44.550
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019137 0 0 0 0 0 0 0 0 0 0 59 78
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/2024766 56 88 86 102 151 87 43 64 19 68 2 0
Totale 8.006