Roberto Giacobazzi

发表

Static Analysis of CLP Programs over Numeric Domains

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi, 1992, WSA.

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

Roberto Giacobazzi, Axel Simon, Sarah Zennou, 2014, Dagstuhl Reports.

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

Roberto Giacobazzi, Kwang-Moo Choe, Byeong-Mo Chang, 1994, SAC '94.

A Generalized Semantics for Constraint Logic Programs

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray, 1992, Fifth Generation Computer Systems.

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking

Roberto Giacobazzi, Elisa Quintarelli, Elisa Quintarelli, 2001, SAS.

Opaque Predicates Detection by Abstract Interpretation

Koen De Bosschere, Roberto Giacobazzi, Mila Dalla Preda, 2006, AMAST.

Pipeline optimizations in and-parallelism by abstract interpretation

Laura Ricci, Roberto Giacobazzi, R. Giacobazzi, 1990 .

Building Complete Abstract Interpretations in a Linear Logic-based Setting

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari, 1998, SAS.

Program Analysis Is Harder Than Verification: A Computability Perspective

Roberto Giacobazzi, Patrick Cousot, Francesco Ranzato, 2018, CAV.

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Roberto Giacobazzi, Isabella Mastroeni, Josh Berdine, 2013 .

Analyzing Program Analyses

Roberto Giacobazzi, Francesco Ranzato, Francesco Logozzo, 2015, POPL.

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

Roberto Giacobazzi, Francesco Banterle, R. Giacobazzi, 2007, SAS.

Adjoining Declassification and Attack Models by Abstract Interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, ESOP.

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

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2004, POPL.

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

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato, 2010, 25 Years GULP.

Refining and Compressing Abstract Domains

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 1997, ICALP.

Optimization of Disjunctive Abstract Interpretations

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 1996, APPIA-GULP-PRODE.

Modelling Metamorphism by Abstract Interpretation

Roberto Giacobazzi, Kevin Coogan, Saumya K. Debray, 2010, SAS.

Timed Abstract Non-interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, FORMATS.

Domain Compression for Complete Abstractions

Roberto Giacobazzi, Isabella Mastroeni, 2003, VMCAI.

A Tutorial on Domain Theory in Abstract Interpretation

Roberto Giacobazzi, R. Giacobazzi, 1998, SAS.

Compositional analysis of modular logic programs

Roberto Giacobazzi, Saumya K. Debray, Michael Codish, 1993, POPL '93.

Abstract extensionality: on the properties of incomplete abstract interpretations

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, 2020, Proc. ACM Program. Lang..

Modular Logic Programs on Finite Domains

Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi, 1993, GULP.

An application of constraint propagation to data-flow analysis

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi, 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

Abstract interpretation of resolution-based semantics

Roberto Giacobazzi, Patrick Cousot, Radhia Cousot, 2009, Theor. Comput. Sci..

Abductive Analysis of Modular Logic Programs

Roberto Giacobazzi, R. Giacobazzi, 1994, J. Log. Comput..

Sound up-to techniques and Complete abstract domains

Roberto Giacobazzi, Pierre Ganty, Filippo Bonchi, 2018, LICS.

Completeness in Abstract Interpretation: A Domain Perspective

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 1997, AMAST.

A Proof System for Abstract Non-interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2010, J. Log. Comput..

La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli

Roberto Barbuti, Roberto Giacobazzi, Mauro Gaspari, 1993, GULP.

Extended abstract, are you sure they are the same?: identifying differences between iOS and Android implementations

Roberto Giacobazzi, Juan Caballero, Daniel Domínguez Álvarez, 2019 .

Abstracting Synchronization in Concurrent Constraint Programming

Roberto Giacobazzi, Giorgio Levi, Enea Zaffanella, 1994, J. Funct. Log. Program..

Analyzing program dependencies for malware detection

Roberto Giacobazzi, Mila Dalla Preda, Isabella Mastroeni, 2014, PPREW'14.

Control code obfuscation by abstract interpretation

Roberto Giacobazzi, Mila Dalla Preda, M. Preda, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

Adjoining classified and unclassified information by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2010, J. Comput. Secur..

Special issue on Programming Language Interference and Dependence

David Clark, Roberto Giacobazzi, Sebastian Danicic, 2007, J. Log. Algebraic Methods Program..

Refining and Compressing Abstract Model Checking

Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli, 2001, APPIA-GULP-PRODE.

Call for papers S t a t i c A n a l y s i s S y m p o s i u m - S A S 2 0 0 8

Ji Wang, Maurice Bruynooghe, Roberto Bagnara, 2008 .

Detecting Determinate Computations by Bottom-up Abstract Interpretation

Laura Ricci, Roberto Giacobazzi, R. Giacobazzi, 1992, ESOP.

Non-Standard Semantics for Program Slicing

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2003, High. Order Symb. Comput..

A unifying view of abstract domain design

Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato, 1996, CSUR.

Verification, Model Checking, and Abstract Interpretation

Roberto Giacobazzi, Isabella Mastroeni, Josh Berdine, 2013, Lecture Notes in Computer Science.

Oracle Semantics for Prolog

Michael J. Maher, Roberto Barbuti, Roberto Giacobazzi, 1995, Inf. Comput..

Pipeline Optimizations in AND-Parallel Logic Programs

Laura Ricci, Roberto Giacobazzi, R. Giacobazzi, 1990, International Conference on Logic Programming.

Software Security by Obscurity - A Programming Language Perspective

Roberto Giacobazzi, 2012, ICISTM.

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Roberto Giacobazzi, Radhia Cousot, 2013, POPL 2013.

Abstract Interpretation-Based Protection

Roberto Giacobazzi, 2010, VMCAI.

An abstract interpretation-based model for safety semantics

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2011, Int. J. Comput. Math..

Oracle Semantics for Prolog

Michael J. Maher, Roberto Barbuti, Roberto Giacobazzi, 1992, Inf. Comput..

A Bottom-Up Polymorphic Type Inference in Logic Programming

Roberto Barbuti, Roberto Giacobazzi, R. Giacobazzi, 1992, Sci. Comput. Program..

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray, 1995, J. Log. Program..

A Formal Framework for Property-Driven Obfuscation Strategies

Roberto Giacobazzi, Mila Dalla Preda, Isabella Mastroeni, 2013, FCT.

Optimal Domains for Disjunctive Abstract Intepretation

Roberto Giacobazzi, Francesco Ranzato, 1998, Sci. Comput. Program..

Fondamenti dell'Informatica: Linguaggi Formali e Calcolabilita

Agostino Dovier, Roberto Giacobazzi, Agostino Dovier, 2003 .

Compositional Optimization of Disjunctive Abstract Interpretations

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 1996, ESOP.

Complementation in abstract interpretation

Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, 1995, TOPL.

Obfuscation by partial evaluation of distorted interpreters

Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni, 2012, PEPM '12.

Active Android malware analysis: an approach based on stochastic games

Roberto Giacobazzi, Mila Dalla Preda, Alessandro Farinelli, 2016, SSPREW '16.

Program Analysis Is Harder Than Verification: A Computability Perspective

Roberto Giacobazzi, Francesco Ranzato, Patrick Cousot, 2018, CAV.

A logical model for relational abstract domains

Roberto Giacobazzi, Francesca Scozzari, 1998, TOPL.

Abstract Interpretation of Indexed Grammars

Roberto Giacobazzi, Mila Dalla Preda, Marco Campion, 2019, SAS.

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

Arun Lakhotia, Roberto Giacobazzi, Mila Dalla Preda, 2015, POPL.

Abstraction-Guided Abstraction Simplification pdf

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 2009, ArXiv.

Obscuring Code - Unveiling and Veiling Information in Programs.

Roberto Giacobazzi, R. Giacobazzi, 2014, PPDP 2014.

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

Roberto Giacobazzi, Francesco Ranzato, 1995, ILPS.

Compositionality in the puzzle of semantics

Roberto Giacobazzi, Isabella Mastroeni, 2002, PEPM '02.

Code obfuscation against abstraction refinement attacks

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, 2018, Formal Aspects of Computing.

Code Obfuscation Against Abstract Model Checking Attacks

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, 2018, VMCAI.

Unveiling and Veiling Information in Programs

Roberto Giacobazzi, 2014, PPDP '14.

A general framework for semantics-based bottom-up abstract interpretation of logic programs

Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi, 1993, TOPL.

A characterization of symmetric semantics by domain complementation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2000, PPDP '00.

Complete Abstract Interpretations Made Constructive

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari, 1998, MFCS.

Goal independency and call patterns in the analysis of logic programs

Maurizio Gabbrielli, Roberto Giacobazzi, M. Gabbrielli, 1994, SAC '94.

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2012, SAS.

Strong Preservation by Model Deformation

Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

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

Roberto Giacobazzi, R. Giacobazzi, 1996, STACS.

Modelling Prolog control

Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi, 1992, POPL '92.

Characterizing Abstract Program Properties by Abduction

Roberto Giacobazzi, R. Giacobazzi, 1994, GULP-PRODE.

SEA: String Executability Analysis by Abstract Interpretation pdf

Roberto Giacobazzi, Mila Dalla Preda, Isabella Mastroeni, 2017, ArXiv.

Abstract Non-Interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2018, ACM Trans. Priv. Secur..

States vs. Traces in Model Checking by Abstract Interpretation

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 2002, SAS.

Session details: Reasoning about programs

Roberto Giacobazzi, R. Giacobazzi, 2010 .

Towards a formally verified obfuscating compiler

Roberto Giacobazzi, Sandrine Blazy, R. Giacobazzi, 2012 .

Joining Abstract and Concrete Computations in Constraint Logic Programming

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray, 1993, AMAST.

Session details: Session 7B: Programming Models II

Roberto Giacobazzi, R. Giacobazzi, 2015 .

Making abstract models complete †

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2014, Mathematical Structures in Computer Science.

Transforming Abstract Interpretations by Abstract Interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2008, SAS.

Systematic design of abstract interpretations

Roberto Giacobazzi, R. Giacobazzi, 1997, APPIA-GULP-PRODE.

Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

Roberto Giacobazzi, 2004 .

Relock-based vulnerability in Windows 7

Roberto Giacobazzi, A. Fortunato, M. Passuello, 2011 .

Proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 7737

Roberto Giacobazzi, Isabella Mastroeni, Josh Berdine, 2013, VMCAI 2013.

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

Roberto Giacobazzi, Anindya Banerjee, Isabella Mastroeni, 2007, MFPS.

Intuitionistic Implication in Abstract Interpretation

Roberto Giacobazzi, Francesca Scozzari, R. Giacobazzi, 1997, PLILP.

Formal Framework for Reasoning About the Precision of Dynamic Analysis

Roberto Giacobazzi, Mila Dalla Preda, Niccolò Marastoni, 2020, SAS.

Completeness in Approximate Transduction

Roberto Giacobazzi, Mila Dalla Preda, Isabella Mastroeni, 2016, SAS.

Semantics-based code obfuscation by abstract interpretation

Roberto Giacobazzi, Mila Dalla Preda, M. Preda, 2009, J. Comput. Secur..

On Entropy Measures for Code Obfuscation

Roberto Giacobazzi, Andrea Toppan, R. Giacobazzi, 2012 .

Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013

Roberto Giacobazzi, Matthew Might, David Van Horn, 2013, PLPV.

Formal Framework for Property-driven Obfuscations

Roberto Giacobazzi, Mila Dalla Preda, Isabella Mastroeni, 2013 .

On the Collecting Semantics for Logic Programs

Roberto Giacobazzi, R. Giacobazzi, 1994, ICLP Workshop: Verification and Analysis of Logic Languages.

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

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 1998, Inf. Comput..

Hacking Program Analysis: A Systematic Approach to Code Protection (Invited Talk): Invited Presentation at the Seventh International Workshop on Verification and Program Transformation

Roberto Giacobazzi, 2019 .

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

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 2004, Inf. Comput..

Hiding Software Watermarks in Loop Structures

Roberto Giacobazzi, Mila Dalla Preda, Enrico Visentini, 2008, SAS.

Principles of POPL

Suresh Jagannathan, Philip Wadler, Roberto Giacobazzi, 2013, SIGP.

Fast location of similar code fragments using semantic 'juice'

Arun Lakhotia, Roberto Giacobazzi, Mila Dalla Preda, 2013, PPREW '13.

Making abstract domains condensing

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari, 2002, TOCL.

Complementing Logic Program Semantics

Roberto Giacobazzi, Francesco Ranzato, 1996, ALP.

Correctness kernels of abstract interpretations

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 2009, Inf. Comput..

Modeling Information Flow Dependencies with Boolean Functions

Roberto Giacobazzi, Isabella Mastroeni, S. Genaim, 2004 .

Controlled Model Deformation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2010 .

Modelling Prolog control

Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi, 1992, POPL '92.

Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, MMM-ACNS.

Complementation in abstract interpretation

Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, 1997, TOPL.

A²I: abstract² interpretation

Roberto Giacobazzi, Patrick Cousot, Francesco Ranzato, 2019, Proc. ACM Program. Lang..

Proving Abstract Non-interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2004, CSL.

Making abstract interpretations complete

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari, 2000, JACM.

Toward Digital Asset Protection

Christian S. Collberg, Fei-Yue Wang, Roberto Giacobazzi, 2011, IEEE Intelligent Systems.

The Reduced Relative Power Operation on Abstract Domains

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 1999, Theor. Comput. Sci..

Example-Guided Abstraction Simplification

Roberto Giacobazzi, Francesco Ranzato, R. Giacobazzi, 2010, ICALP.

A deep learning approach to program similarity

Roberto Giacobazzi, Mila Dalla Preda, Niccolò Marastoni, 2018, MASES@ASE.

Foreword: programming language interference and dependence

David Clark, Roberto Giacobazzi, Chunyan Mu, 2011, Math. Struct. Comput. Sci..

Weakening Additivity in Adjoining Closures

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2015, Order.

Semantic-Based Code Obfuscation by Abstract Interpretation

Roberto Giacobazzi, Mila Dalla Preda, 2005, ICALP.

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

Roberto Giacobazzi, R. Giacobazzi, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

Unveiling metamorphism by abstract interpretation of code properties

Roberto Giacobazzi, Saumya K. Debray, Mila Dalla Preda, 2015, Theor. Comput. Sci..

Transforming semantics by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, Theor. Comput. Sci..

Maximal incompleteness as obfuscation potency

Roberto Giacobazzi, Mila Dalla Preda, Isabella Mastroeni, 2016, Formal Aspects of Computing.

Twisting Additivity in Program Obfuscation

Arun Lakhotia, Roberto Giacobazzi, Mila Dalla Preda, 2012, ICISTM.

Abstract Interpretation in Code Security

Roberto Giacobazzi, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

A Logic for Locally Complete Abstract Interpretations

Roberto Bruni, Roberto Giacobazzi, Francesco Ranzato, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Learning metamorphic malware signatures from samples

Roberto Giacobazzi, Mila Dalla Preda, Marco Campion, 2021, J. Comput. Virol. Hacking Tech..

Data augmentation and transfer learning to classify malware images in a deep learning context

Roberto Giacobazzi, Mila Dalla Preda, Niccolò Marastoni, 2021, Journal of Computer Virology and Hacking Techniques.

A weakening residuation in adjoining closures

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2015 .

Transforming Abstract Interpretations by Abstract Interpretation New Challenges in Language-based Security

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2008 .

Weak relative pseudo-complements of closure operators

Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato, 1996 .