R. Giacobazzi

Most-cited papers

Fast location of similar code fragments using semantic 'juice'
A. Lakhotia, M. Preda, R. Giacobazzi
2013PPREW '1393 citations
Semantic Scholar
Semantic-Based Code Obfuscation by Abstract Interpretation
Mila Dalla Preda, R. Giacobazzi
2005International Colloquium on Automata, Languages and Programming90 citations
Semantic Scholar
Opaque Predicates Detection by Abstract Interpretation
Mila Dalla Preda, Matias Madou, K. De Bosschere, R. Giacobazzi
2006International Conference on Algebraic Methodology and Software Technology76 citations
Semantic Scholar
Data augmentation and transfer learning to classify malware images in a deep learning context
Niccolò Marastoni, R. Giacobazzi, Mila Dalla Preda
2021Journal of Computer Virology and Hacking Techniques57 citations Open access
Semantic Scholar
A Logic for Locally Complete Abstract Interpretations
R. Bruni, R. Giacobazzi, R. Gori, Francesco Ranzato
2021Logic in Computer Science48 citations Open access
Semantic Scholar
Obfuscation by partial evaluation of distorted interpreters
R. Giacobazzi, N. Jones, Isabella Mastroeni
2012ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation45 citations
Semantic Scholar
Analyzing Program Analyses
R. Giacobazzi, F. Logozzo, Francesco Ranzato
2015ACM-SIGACT Symposium on Principles of Programming Languages43 citations Open access
Semantic Scholar
Toward Digital Asset Protection
C. Collberg, J. Davidson, R. Giacobazzi, Yuan X. Gu +2 more
2011IEEE Intelligent Systems42 citations
Semantic Scholar
Control code obfuscation by abstract interpretation
Mila Dalla Preda, R. Giacobazzi
2005IEEE International Conference on Software Engineering and Formal Methods41 citations
Semantic Scholar
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking
R. Giacobazzi
20082008 Sixth IEEE International Conference on Software Engineering and Formal Methods40 citations
Semantic Scholar
A Correctness and Incorrectness Program Logic
R. Bruni, R. Giacobazzi, R. Gori, Francesco Ranzato
2023Journal of the ACM33 citations Open access
Semantic Scholar
A deep learning approach to program similarity
Niccolò Marastoni, R. Giacobazzi, Mila Dalla Preda
2018MASES@ASE32 citations
Semantic Scholar
Modelling Metamorphism by Abstract Interpretation
Mila Dalla Preda, R. Giacobazzi, S. Debray, Kevin Coogan +1 more
2010Sensors Applications Symposium30 citations
Semantic Scholar
Abstract Non-Interference
R. Giacobazzi, Isabella Mastroeni
2018ACM Transactions on Privacy and Security28 citations
Semantic Scholar
Program Analysis Is Harder Than Verification: A Computability Perspective
P. Cousot, R. Giacobazzi, Francesco Ranzato
2018International Conference on Computer Aided Verification25 citations Open access
Semantic Scholar
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis
Marco Campion, Mila Dalla Preda, R. Giacobazzi
2022Proc. ACM Program. Lang.24 citations Open access
Semantic Scholar
What You Lose is What You Leak: Information Leakage in Declassification Policies
A. Banerjee, R. Giacobazzi, Isabella Mastroeni
2007Mathematical Foundations of Programming Semantics24 citations Open access
Semantic Scholar
Transforming Abstract Interpretations by Abstract Interpretation
R. Giacobazzi, Isabella Mastroeni
2008Sensors Applications Symposium22 citations
Semantic Scholar
A²I: abstract² interpretation
P. Cousot, R. Giacobazzi, Francesco Ranzato
2019Proc. ACM Program. Lang.21 citations Open access
Semantic Scholar
Sound up-to techniques and Complete abstract domains
F. Bonchi, P. Ganty, R. Giacobazzi, Dusko Pavlovic
2018Logic in Computer Science20 citations Open access
Semantic Scholar
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation
R. Giacobazzi, Isabella Mastroeni
2012Sensors Applications Symposium20 citations
Semantic Scholar
Semantics-based code obfuscation by abstract interpretation
Mila Dalla Preda, R. Giacobazzi
2009Journal of computing and security19 citations
Semantic Scholar
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
F. Banterle, R. Giacobazzi
2007Sensors Applications Symposium19 citations Open access
Semantic Scholar
Abstract interpretation repair
R. Bruni, R. Giacobazzi, R. Gori, Francesco Ranzato
2022ACM-SIGPLAN Symposium on Programming Language Design and Implementation18 citations Open access
Semantic Scholar
Adjoining classified and unclassified information by abstract interpretation
R. Giacobazzi, Isabella Mastroeni
2010Journal of computing and security18 citations
Semantic Scholar
Abstract Symbolic Automata
Mila Dalla Preda, R. Giacobazzi, A. Lakhotia, Isabella Mastroeni
2015ACM-SIGACT Symposium on Principles of Programming Languages17 citations
Semantic Scholar
Unveiling metamorphism by abstract interpretation of code properties
Mila Dalla Preda, R. Giacobazzi, S. Debray
2015Theoretical Computer Science15 citations Open access
Semantic Scholar
Learning metamorphic malware signatures from samples
Marco Campion, Mila Dalla Preda, R. Giacobazzi
2021Journal of Computer Virology and Hacking Techniques14 citations Open access
Semantic Scholar
History of Abstract Interpretation
R. Giacobazzi, Francesco Ranzato
2022IEEE Annals of the History of Computing13 citations Open access
Semantic Scholar
Computing Abstract Distances in Logic Programs
Ignacio Casso, J. Morales, P. López-García, R. Giacobazzi +1 more
2019International Workshop/Symposium on Logic-based Program Synthesis and Transformation12 citations Open access
Semantic Scholar
Maximal incompleteness as obfuscation potency
R. Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
2016Formal Aspects of Computing12 citations
Semantic Scholar
Verification, Model Checking, and Abstract Interpretation
R. Giacobazzi, Josh Berdine, Isabella Mastroeni
2013Lecture Notes in Computer Science12 citations Open access
Semantic Scholar
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Marco Campion, Caterina Urban, M. Preda, R. Giacobazzi
2023Sensors Applications Symposium10 citations Open access
Semantic Scholar
A Proof System for Abstract Non-interference
R. Giacobazzi, Isabella Mastroeni
2010Journal of Logic and Computation10 citations
Semantic Scholar
Making abstract models complete †
R. Giacobazzi, Isabella Mastroeni
2014Mathematical Structures in Computer Science9 citations
Semantic Scholar
An abstract interpretation-based model for safety semantics
Isabella Mastroeni, R. Giacobazzi
2011International Journal of Computational Mathematics9 citations
Semantic Scholar
Abstract interpretation of resolution-based semantics
P. Cousot, R. Cousot, R. Giacobazzi
2009Theoretical Computer Science9 citations Open access
Semantic Scholar
Hiding Software Watermarks in Loop Structures
Mila Dalla Preda, R. Giacobazzi, Enrico Visentini
2008Sensors Applications Symposium9 citations
Semantic Scholar
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation
R. Giacobazzi, Isabella Mastroeni, Elia Perantoni
2024ACM Transactions on Programming Languages and Systems8 citations Open access
Semantic Scholar
Abstract Interpretation of Indexed Grammars
Marco Campion, Mila Dalla Preda, R. Giacobazzi
2019Sensors Applications Symposium8 citations
Semantic Scholar
Active Android malware analysis: an approach based on stochastic games
Riccardo Sartea, M. Preda, A. Farinelli, R. Giacobazzi +1 more
2016SSPREW@ACSAC7 citations
Semantic Scholar
Towards a formally verified obfuscating compiler
Sandrine Blazy, R. Giacobazzi
20127 citations
Semantic Scholar
A Formal Framework for Property-Driven Obfuscation Strategies
Mila Dalla Preda, Isabella Mastroeni, R. Giacobazzi
2013International Symposium on Fundamentals of Computation Theory6 citations
Semantic Scholar
Example-Guided Abstraction Simplification
R. Giacobazzi, Francesco Ranzato
2010International Colloquium on Automata, Languages and Programming6 citations
Semantic Scholar
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
G. Delzanno, R. Giacobazzi, Francesco Ranzato
201025 Years GULP6 citations Open access
Semantic Scholar
Correctness kernels of abstract interpretations
R. Giacobazzi, Francesco Ranzato
2009Information and Computation6 citations Open access
Semantic Scholar
Transforming semantics by abstract interpretation
R. Giacobazzi, Isabella Mastroeni
2005Theoretical Computer Science6 citations Open access
Semantic Scholar
Monotonicity and the Precision of Program Analysis
Marco Campion, Mila Dalla Preda, R. Giacobazzi, Caterina Urban
2024Proc. ACM Program. Lang.5 citations Open access
Semantic Scholar
On the Properties of Partial Completeness in Abstract Interpretation
Marco Campion, M. Preda, R. Giacobazzi
2022Italian Conference on Theoretical Computer Science5 citations
Semantic Scholar
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
R. Giacobazzi, Josh Berdine, Isabella Mastroeni
20135 citations
Semantic Scholar