Roberto Giacobazzi

According to our database1, Roberto Giacobazzi authored at least 117 papers between 1990 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A²I: abstract² interpretation.
PACMPL, 2019

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

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

Sound up-to techniques and Complete abstract domains.
CoRR, 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 Asp. Comput., 2017

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

2016
Weakening Additivity in Adjoining Closures.
Order, 2016

Making abstract models complete.
Mathematical Structures in Computer Science, 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.
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.
Mathematical Structures in Computer Science, 2011

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

Toward Digital Asset Protection.
IEEE Intelligent Systems, 2011

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

Adjoining classified and unclassified information by abstract interpretation.
Journal of Computer Security, 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.
Journal of Computer Security, 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. Algebr. Program., 2007

What You Lose is What You Leak: Information Leakage in Declassification Policies.
Electr. Notes Theor. Comput. Sci., 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
Incompleteness of States w.r.t. Traces in Model Checking
CoRR, 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.
Higher-Order and Symbolic Computation, 2003

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

2002
Making Abstract Domains Condensing
CoRR, 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.
Electr. Notes Theor. Comput. Sci., 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

Building Complete Abstract Interpretations in a Linear Logic-based Setting.
Proceedings of the Static Analysis, 5th International Symposium, 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.
Journal of Functional and Logic Programming, 1997

Intuitionistic Implication in Abstract Interpretation.
Proceedings of the Programming Languages: Implementations, 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

"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
Proceedings of the STACS 96, 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

Complementation in Abstract Interpretation
Proceedings of the Static Analysis, 1995

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

1994
Abductive Analysis of Modular Logic Programs.
Proceedings of the Logic Programming, 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

Abstracting Synchronization in Concurrent Constraint Programming.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

Abstracting Synchronization in Concurrent Constraint Programming.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 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.
FGCS, 1992

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

Oracle Semantics for Prolog.
Proceedings of the Algebraic and Logic Programming, 1992

1991
Modelling Prolog Control.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

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


  Loading...