Roberto Giacobazzi

Orcid: 0000-0002-9582-3960

Affiliations:
  • University of Verona, Italy


According to our database1, Roberto Giacobazzi authored at least 123 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation.
ACM Trans. Program. Lang. Syst., June, 2024

Monotonicity and the Precision of Program Analysis.
Proc. ACM Program. Lang., January, 2024

2023
A Correctness and Incorrectness Program Logic.
J. ACM, April, 2023

How Fitting is Your Abstract Domain?
Proceedings of the Static Analysis - 30th International Symposium, 2023

A Formal Framework to Measure the Incompleteness of Abstract Interpretations.
Proceedings of the Static Analysis - 30th International Symposium, 2023

2022
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.
Proc. ACM Program. Lang., 2022

History of Abstract Interpretation.
IEEE Ann. Hist. Comput., 2022

Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation.
Proceedings of the Static Analysis - 29th International Symposium, 2022

Abstract interpretation repair.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

On the Properties of Partial Completeness in Abstract Interpretation.
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

2021
Data augmentation and transfer learning to classify malware images in a deep learning context.
J. Comput. Virol. Hacking Tech., 2021

Learning metamorphic malware signatures from samples.
J. Comput. Virol. Hacking Tech., 2021

A Logic for Locally Complete Abstract Interpretations.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Abstract extensionality: on the properties of incomplete abstract interpretations.
Proc. ACM Program. Lang., 2020

Formal Framework for Reasoning About the Precision of Dynamic Analysis.
Proceedings of the Static Analysis - 27th International Symposium, 2020

2019
A²I: abstract² interpretation.
Proc. ACM Program. Lang., 2019

Abstract Interpretation of Indexed Grammars.
Proceedings of the Static Analysis - 26th International Symposium, 2019

Computing Abstract Distances in Logic Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow.
ACM Trans. Priv. Secur., 2018

Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1).
NII Shonan Meet. Rep., 2018

Code obfuscation against abstraction refinement attacks.
Formal Aspects Comput., 2018

Code Obfuscation Against Abstract Model Checking Attacks.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Sound up-to techniques and Complete abstract domains.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

A deep learning approach to program similarity.
Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

Program Analysis Is Harder Than Verification: A Computability Perspective.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Maximal incompleteness as obfuscation potency.
Formal Aspects Comput., 2017

SEA: String Executability Analysis by Abstract Interpretation.
CoRR, 2017

2016
Weakening Additivity in Adjoining Closures.
Order, 2016

Making abstract models complete.
Math. Struct. Comput. Sci., 2016

Completeness in Approximate Transduction.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Active Android malware analysis: an approach based on stochastic games.
Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016

2015
Unveiling metamorphism by abstract interpretation of code properties.
Theor. Comput. Sci., 2015

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Analyzing Program Analyses.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014
Correctness kernels of abstract interpretations.
Inf. Comput., 2014

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241).
Dagstuhl Reports, 2014

Unveiling and Veiling Information in Programs.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Analyzing program dependencies for malware detection.
Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

2013
Principles of POPL.
ACM SIGPLAN Notices, 2013

Fast location of similar code fragments using semantic 'juice'.
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, 2013

A Formal Framework for Property-Driven Obfuscation Strategies.
Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

2012
Strong Preservation by Model Deformation.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Obfuscation by partial evaluation of distorted interpreters.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Twisting Additivity in Program Obfuscation.
Proceedings of the Information Systems, Technology and Management, 2012

Software Security by Obscurity - A Programming Language Perspective.
Proceedings of the Information Systems, Technology and Management, 2012

2011
Foreword: programming language interference and dependence.
Math. Struct. Comput. Sci., 2011

An abstract interpretation-based model for safety semantics.
Int. J. Comput. Math., 2011

Toward Digital Asset Protection.
IEEE Intell. Syst., 2011

2010
A Proof System for Abstract Non-interference.
J. Log. Comput., 2010

Adjoining classified and unclassified information by abstract interpretation.
J. Comput. Secur., 2010

Abstract Interpretation-Based Protection.
Proceedings of the Verification, 2010

Modelling Metamorphism by Abstract Interpretation.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Example-Guided Abstraction Simplification.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
Abstract interpretation of resolution-based semantics.
Theor. Comput. Sci., 2009

Semantics-based code obfuscation by abstract interpretation.
J. Comput. Secur., 2009

Abstraction-Guided Abstraction Simplification
CoRR, 2009

2008
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Abstract Interpretation in Code Security.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Hiding Software Watermarks in Loop Structures.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Transforming Abstract Interpretations by Abstract Interpretation.
Proceedings of the Static Analysis, 15th International Symposium, 2008

2007
Foreword.
Sci. Comput. Program., 2007

Special issue on Programming Language Interference and Dependence.
J. Log. Algebraic Methods Program., 2007

What You Lose is What You Leak: Information Leakage in Declassification Policies.
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.
Proceedings of the Static Analysis, 14th International Symposium, 2007

2006
Incompleteness of states w.r.t. traces in model checking.
Inf. Comput., 2006

Opaque Predicates Detection by Abstract Interpretation.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Making abstract domains condensing.
ACM Trans. Comput. Log., 2005

Transforming semantics by abstract interpretation.
Theor. Comput. Sci., 2005

Control Code Obfuscation by Abstract Interpretation.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.
Proceedings of the Computer Network Security, 2005

Semantic-Based Code Obfuscation by Abstract Interpretation.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Timed Abstract Non-interference.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Adjoining Declassification and Attack Models by Abstract Interpretation.
Proceedings of the Programming Languages and Systems, 2005

2004
Abstract non-interference: parameterizing non-interference by abstract interpretation.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Proving Abstract Non-interference.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
Non-Standard Semantics for Program Slicing.
High. Order Symb. Comput., 2003

Domain Compression for Complete Abstractions.
Proceedings of the Verification, 2003

2002
States vs. Traces in Model Checking by Abstract Interpretation.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Compositionality in the puzzle of semantics.
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

2001
Refining and Compressing Abstract Model Checking.
Proceedings of the Declarative Programming, 2001

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.
Proceedings of the Static Analysis, 8th International Symposium, 2001

2000
Making abstract interpretations complete.
J. ACM, 2000

A characterization of symmetric semantics by domain complementation.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999
The Reduced Relative Power Operation on Abstract Domains.
Theor. Comput. Sci., 1999

1998
A Logical Model for Relational Abstract Domains.
ACM Trans. Program. Lang. Syst., 1998

Optimal Domains for Disjunctive Abstract Intepretation.
Sci. Comput. Program., 1998

Abductive Analysis of Modular Logic Programs.
J. Log. Comput., 1998

Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements.
Inf. Comput., 1998

A Tutorial on Domain Theory in Abstract Interpretation.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Complete Abstract Interpretations Made Constructive.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Building Complete Abstract Interpretations in a Linear Logic-based Setting.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Complementation in Abstract Interpretation.
ACM Trans. Program. Lang. Syst., 1997

Abstracting Synchronization in Concurrent Constraint Programming.
J. Funct. Log. Program., 1997

Refining and Compressing Abstract Domains.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Completeness in Abstract Interpretation: A Domain Perspective.
Proceedings of the Algebraic Methodology and Software Technology, 1997

Intuitionistic Implication in Abstract Interpretation.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Systematic design of abstract interpretations.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
A Unifying View of Abstract Domain Design.
ACM Comput. Surv., 1996

Compositional Optimization of Disjunctive Abstract Interpretations.
Proceedings of the Programming Languages and Systems, 1996

Complementing Logic Program Semantics.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Optimization of Disjunctive Abstract Interpretations.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.
J. Log. Program., 1995

Oracle Semantics for Prolog.
Inf. Comput., 1995

Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.
Proceedings of the Logic Programming, 1995

Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Goal independency and call patterns in the analysis of logic programs.
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

On the Collecting Semantics for Logic Programs.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Characterizing Abstract Program Properties by Abduction.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.
ACM Trans. Program. Lang. Syst., 1993

Modelling Prolog Control.
J. Log. Comput., 1993

Compositional Analysis of Modular Logic Programs.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Joining Abstract and Concrete Computations in Constraint Logic Programming.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Modular Logic Programs on Finite Domains.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
A Bottom-Up Polymorphic Type Inference in Logic Programming.
Sci. Comput. Program., 1992

Static Analysis of CLP Programs over Numeric Domains.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Modeling Prolog Control.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

A Generalized Semantics for Constraint Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Detecting Determinate Computations by Bottom-up Abstract Interpretation.
Proceedings of the ESOP '92, 1992

1990
Pipeline Optimizations in AND-Parallel Logic Programs.
Proceedings of the Logic Programming, 1990


  Loading...