Roberto Giacobazzi

According to our database, Roberto Giacobazzi authored at least 122 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Monotonicity and the Precision of Program Analysis.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban

Proc. ACM Program. Lang., January, 2024

2023

A Correctness and Incorrectness Program Logic.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

J. ACM, April, 2023

How Fitting is Your Abstract Domain?

Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni

Proceedings of the Static Analysis - 30th International Symposium, 2023

A Formal Framework to Measure the Incompleteness of Abstract Interpretations.

Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proc. ACM Program. Lang., 2022

History of Abstract Interpretation.

Roberto Giacobazzi, Francesco Ranzato

IEEE Ann. Hist. Comput., 2022

Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Static Analysis - 29th International Symposium, 2022

Abstract interpretation repair.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

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.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

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.

Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda

J. Comput. Virol. Hacking Tech., 2021

Learning metamorphic malware signatures from samples.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

J. Comput. Virol. Hacking Tech., 2021

A Logic for Locally Complete Abstract Interpretations.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Abstract extensionality: on the properties of incomplete abstract interpretations.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic

Proc. ACM Program. Lang., 2020

Formal Framework for Reasoning About the Precision of Dynamic Analysis.

Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

A²I: abstract² interpretation.

Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato

Proc. ACM Program. Lang., 2019

Abstract Interpretation of Indexed Grammars.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Static Analysis - 26th International Symposium, 2019

Computing Abstract Distances in Logic Programs.

Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Abstract Non-Interference: A Unifying Framework for Weakening Information-flow.

Roberto Giacobazzi, Isabella Mastroeni

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).

Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi

NII Shonan Meet. Rep., 2018

Code obfuscation against abstraction refinement attacks.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Formal Aspects Comput., 2018

Code Obfuscation Against Abstract Model Checking Attacks.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Sound up-to techniques and Complete abstract domains.

Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

A deep learning approach to program similarity.

Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda

Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

Program Analysis Is Harder Than Verification: A Computability Perspective.

Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Maximal incompleteness as obfuscation potency.

Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda

Formal Aspects Comput., 2017

SEA: String Executability Analysis by Abstract Interpretation.

Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni

CoRR, 2017

2016

Weakening Additivity in Adjoining Closures.

Isabella Mastroeni, Roberto Giacobazzi

Order, 2016

Making abstract models complete.

Roberto Giacobazzi, Isabella Mastroeni

Math. Struct. Comput. Sci., 2016

Completeness in Approximate Transduction.

Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Active Android malware analysis: an approach based on stochastic games.

Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016

2015

Unveiling metamorphism by abstract interpretation of code properties.

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray

Theor. Comput. Sci., 2015

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables.

Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni

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

Analyzing Program Analyses.

Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato

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

2014

Correctness kernels of abstract interpretations.

Roberto Giacobazzi, Francesco Ranzato

Inf. Comput., 2014

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

Roberto Giacobazzi, Axel Simon, Sarah Zennou

Dagstuhl Reports, 2014

Unveiling and Veiling Information in Programs.

Roberto Giacobazzi

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Analyzing program dependencies for malware detection.

Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi

Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

2013

Principles of POPL.

Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler

ACM SIGPLAN Notices, 2013

Fast location of similar code fragments using semantic 'juice'.

Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, 2013

A Formal Framework for Property-Driven Obfuscation Strategies.

Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi

Proceedings of the Fundamentals of Computation Theory - 19th International Symposium, 2013

2012

Strong Preservation by Model Deformation.

Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Static Analysis - 19th International Symposium, 2012

Obfuscation by partial evaluation of distorted interpreters.

Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Twisting Additivity in Program Obfuscation.

Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia

Proceedings of the Information Systems, Technology and Management, 2012

Software Security by Obscurity - A Programming Language Perspective.

Roberto Giacobazzi

Proceedings of the Information Systems, Technology and Management, 2012

2011

Foreword: programming language interference and dependence.

David Clark, Roberto Giacobazzi, Chunyan Mu

Math. Struct. Comput. Sci., 2011

An abstract interpretation-based model for safety semantics.

Isabella Mastroeni, Roberto Giacobazzi

Int. J. Comput. Math., 2011

Toward Digital Asset Protection.

Christian S. Collberg, Jack W. Davidson, Roberto Giacobazzi, Yuan Xiang Gu, Amir Herzberg, Fei-Yue Wang

IEEE Intell. Syst., 2011

2010

A Proof System for Abstract Non-interference.

Roberto Giacobazzi, Isabella Mastroeni

J. Log. Comput., 2010

Adjoining classified and unclassified information by abstract interpretation.

Roberto Giacobazzi, Isabella Mastroeni

J. Comput. Secur., 2010

Abstract Interpretation-Based Protection.

Roberto Giacobazzi

Proceedings of the Verification, 2010

Modelling Metamorphism by Abstract Interpretation.

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend

Proceedings of the Static Analysis - 17th International Symposium, 2010

Example-Guided Abstraction Simplification.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato

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.

Patrick Cousot, Radhia Cousot, Roberto Giacobazzi

Theor. Comput. Sci., 2009

Semantics-based code obfuscation by abstract interpretation.

Mila Dalla Preda, Roberto Giacobazzi

J. Comput. Secur., 2009

Abstraction-Guided Abstraction Simplification

Roberto Giacobazzi, Francesco Ranzato

CoRR, 2009

2008

Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking.

Roberto Giacobazzi

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Abstract Interpretation in Code Security.

Roberto Giacobazzi

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Hiding Software Watermarks in Loop Structures.

Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini

Proceedings of the Static Analysis, 15th International Symposium, 2008

Transforming Abstract Interpretations by Abstract Interpretation.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Foreword.

Roberto Giacobazzi

Sci. Comput. Program., 2007

Special issue on Programming Language Interference and Dependence.

David Clark, Sebastian Danicic, Roberto Giacobazzi

J. Log. Algebraic Methods Program., 2007

What You Lose is What You Leak: Information Leakage in Declassification Policies.

Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.

Francesco Banterle, Roberto Giacobazzi

Proceedings of the Static Analysis, 14th International Symposium, 2007

2006

Incompleteness of states w.r.t. traces in model checking.

Roberto Giacobazzi, Francesco Ranzato

Inf. Comput., 2006

Opaque Predicates Detection by Abstract Interpretation.

Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Making abstract domains condensing.

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari

ACM Trans. Comput. Log., 2005

Transforming semantics by abstract interpretation.

Roberto Giacobazzi, Isabella Mastroeni

Theor. Comput. Sci., 2005

Control Code Obfuscation by Abstract Interpretation.

Mila Dalla Preda, Roberto Giacobazzi

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.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Computer Network Security, 2005

Semantic-Based Code Obfuscation by Abstract Interpretation.

Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Timed Abstract Non-interference.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Adjoining Declassification and Attack Models by Abstract Interpretation.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Programming Languages and Systems, 2005

2004

Abstract non-interference: parameterizing non-interference by abstract interpretation.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Proving Abstract Non-interference.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Non-Standard Semantics for Program Slicing.

Roberto Giacobazzi, Isabella Mastroeni

High. Order Symb. Comput., 2003

Domain Compression for Complete Abstractions.

Roberto Giacobazzi, Isabella Mastroeni

Proceedings of the Verification, 2003

2002

States vs. Traces in Model Checking by Abstract Interpretation.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Static Analysis, 9th International Symposium, 2002

Compositionality in the puzzle of semantics.

Roberto Giacobazzi, Isabella Mastroeni

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.

Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli

Proceedings of the Declarative Programming, 2001

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.

Roberto Giacobazzi, Elisa Quintarelli

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

Making abstract interpretations complete.

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari

J. ACM, 2000

A characterization of symmetric semantics by domain complementation.

Roberto Giacobazzi, Isabella Mastroeni

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.

Roberto Giacobazzi, Francesco Ranzato

Theor. Comput. Sci., 1999

1998

A Logical Model for Relational Abstract Domains.

Roberto Giacobazzi, Francesca Scozzari

ACM Trans. Program. Lang. Syst., 1998

Optimal Domains for Disjunctive Abstract Intepretation.

Roberto Giacobazzi, Francesco Ranzato

Sci. Comput. Program., 1998

Abductive Analysis of Modular Logic Programs.

Roberto Giacobazzi

J. Log. Comput., 1998

Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements.

Roberto Giacobazzi, Francesco Ranzato

Inf. Comput., 1998

A Tutorial on Domain Theory in Abstract Interpretation.

Roberto Giacobazzi

Proceedings of the Static Analysis, 5th International Symposium, 1998

Complete Abstract Interpretations Made Constructive.

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Building Complete Abstract Interpretations in a Linear Logic-based Setting.

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Complementation in Abstract Interpretation.

Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato

ACM Trans. Program. Lang. Syst., 1997

Abstracting Synchronization in Concurrent Constraint Programming.

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi

J. Funct. Log. Program., 1997

Refining and Compressing Abstract Domains.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Completeness in Abstract Interpretation: A Domain Perspective.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Algebraic Methodology and Software Technology, 1997

Intuitionistic Implication in Abstract Interpretation.

Roberto Giacobazzi, Francesca Scozzari

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Systematic design of abstract interpretations.

Roberto Giacobazzi

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A Unifying View of Abstract Domain Design.

Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato

ACM Comput. Surv., 1996

Compositional Optimization of Disjunctive Abstract Interpretations.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Programming Languages and Systems, 1996

Complementing Logic Program Semantics.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Optimization of Disjunctive Abstract Interpretations.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi

J. Log. Program., 1995

Oracle Semantics for Prolog.

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher

Inf. Comput., 1995

Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.

Roberto Giacobazzi, Francesco Ranzato

Proceedings of the Logic Programming, 1995

Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.

Roberto Giacobazzi

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Goal independency and call patterns in the analysis of logic programs.

Maurizio Gabbrielli, Roberto Giacobazzi

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.

Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

On the Collecting Semantics for Logic Programs.

Roberto Giacobazzi

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Characterizing Abstract Program Properties by Abduction.

Roberto Giacobazzi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.

Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi

ACM Trans. Program. Lang. Syst., 1993

Modelling Prolog Control.

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi

J. Log. Comput., 1993

Compositional Analysis of Modular Logic Programs.

Michael Codish, Saumya K. Debray, Roberto Giacobazzi

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.

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Modular Logic Programs on Finite Domains.

Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.

Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

A Bottom-Up Polymorphic Type Inference in Logic Programming.

Roberto Barbuti, Roberto Giacobazzi

Sci. Comput. Program., 1992

Static Analysis of CLP Programs over Numeric Domains.

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Modeling Prolog Control.

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi

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.

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Detecting Determinate Computations by Bottom-up Abstract Interpretation.

Roberto Giacobazzi, Laura Ricci

Proceedings of the ESOP '92, 1992

1990

Pipeline Optimizations in AND-Parallel Logic Programs.

Roberto Giacobazzi, Laura Ricci

Proceedings of the Logic Programming, 1990