Roberto Giacobazzi

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 35

Top Venues

SAS

Proc. ACM Program. Lang.

CoRR

POPL

Publications

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 46 (2) (2024)
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS (2023)
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
How Fitting is Your Abstract Domain? SAS (2023)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
A Correctness and Incorrectness Program Logic. J. ACM 70 (2) (2023)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. Proc. ACM Program. Lang. 6 (POPL) (2022)
Roberto Giacobazzi, Isabella Mastroeni
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. SAS (2022)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
Abstract interpretation repair. PLDI (2022)
Roberto Giacobazzi, Francesco Ranzato
History of Abstract Interpretation. IEEE Ann. Hist. Comput. 44 (2) (2022)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
On the Properties of Partial Completeness in Abstract Interpretation. ICTCS (2022)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Learning metamorphic malware signatures from samples. J. Comput. Virol. Hacking Tech. 17 (3) (2021)
Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
Data augmentation and transfer learning to classify malware images in a deep learning context. J. Comput. Virol. Hacking Tech. 17 (4) (2021)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
A Logic for Locally Complete Abstract Interpretations. LICS (2021)
Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni
Formal Framework for Reasoning About the Precision of Dynamic Analysis. SAS (2020)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic
Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. 4 (POPL) (2020)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Abstract Interpretation of Indexed Grammars. SAS (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. LOPSTR (2019)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
A²I: abstract² interpretation. Proc. ACM Program. Lang. 3 (POPL) (2019)
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
Sound up-to techniques and Complete abstract domains. CoRR (2018)
Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi
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 (2018)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
Code Obfuscation Against Abstract Model Checking Attacks. VMCAI (2018)
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
Sound up-to techniques and Complete abstract domains. LICS (2018)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
Program Analysis Is Harder Than Verification: A Computability Perspective. CAV (2) (2018)
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
Code obfuscation against abstraction refinement attacks. Formal Aspects Comput. 30 (6) (2018)
Roberto Giacobazzi, Isabella Mastroeni
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. ACM Trans. Priv. Secur. 21 (2) (2018)
Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
A deep learning approach to program similarity. MASES@ASE (2018)
Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
Maximal incompleteness as obfuscation potency. Formal Aspects Comput. 29 (1) (2017)
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
SEA: String Executability Analysis by Abstract Interpretation. CoRR (2017)
Isabella Mastroeni, Roberto Giacobazzi
Weakening Additivity in Adjoining Closures. Order 33 (3) (2016)
Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni
Active Android malware analysis: an approach based on stochastic games. SSPREW@ACSAC (2016)
Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
Completeness in Approximate Transduction. SAS (2016)
Roberto Giacobazzi, Isabella Mastroeni
Making abstract models complete. Math. Struct. Comput. Sci. 26 (4) (2016)
Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato
Analyzing Program Analyses. POPL (2015)
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray
Unveiling metamorphism by abstract interpretation of code properties. Theor. Comput. Sci. 577 (2015)
Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. POPL (2015)
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
Analyzing program dependencies for malware detection. PPREW@POPL (2014)
Roberto Giacobazzi, Francesco Ranzato
Correctness kernels of abstract interpretations. Inf. Comput. 237 (2014)
Roberto Giacobazzi, Axel Simon, Sarah Zennou
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). Dagstuhl Reports 4 (6) (2014)
Roberto Giacobazzi
Unveiling and Veiling Information in Programs. PPDP (2014)
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
Principles of POPL. ACM SIGPLAN Notices 48 (4S) (2013)
Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi
Fast location of similar code fragments using semantic 'juice'. PPREW@POPL (2013)
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
A Formal Framework for Property-Driven Obfuscation Strategies. FCT (2013)
Roberto Giacobazzi, Isabella Mastroeni
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. SAS (2012)
Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni
Obfuscation by partial evaluation of distorted interpreters. PEPM (2012)
Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia
Twisting Additivity in Program Obfuscation. ICISTM (2012)
Roberto Giacobazzi
Software Security by Obscurity - A Programming Language Perspective. ICISTM (2012)
Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic
Strong Preservation by Model Deformation. TASE (2012)
Isabella Mastroeni, Roberto Giacobazzi
An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88 (4) (2011)
David Clark, Roberto Giacobazzi, Chunyan Mu
Foreword: programming language interference and dependence. Math. Struct. Comput. Sci. 21 (6) (2011)
Christian S. Collberg, Jack W. Davidson, Roberto Giacobazzi, Yuan Xiang Gu, Amir Herzberg, Fei-Yue Wang
Toward Digital Asset Protection. IEEE Intell. Syst. 26 (6) (2011)
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend
Modelling Metamorphism by Abstract Interpretation. SAS (2010)
Roberto Giacobazzi, Isabella Mastroeni
Adjoining classified and unclassified information by abstract interpretation. J. Comput. Secur. 18 (5) (2010)
Roberto Giacobazzi, Isabella Mastroeni
A Proof System for Abstract Non-interference. J. Log. Comput. 20 (2) (2010)
Roberto Giacobazzi
Abstract Interpretation-Based Protection. VMCAI (2010)
Roberto Giacobazzi, Francesco Ranzato
Example-Guided Abstraction Simplification. ICALP (2) (2010)
Patrick Cousot, Radhia Cousot, Roberto Giacobazzi
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410 (46) (2009)
Mila Dalla Preda, Roberto Giacobazzi
Semantics-based code obfuscation by abstract interpretation. J. Comput. Secur. 17 (6) (2009)
Roberto Giacobazzi, Francesco Ranzato
Abstraction-Guided Abstraction Simplification CoRR (2009)
Roberto Giacobazzi
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. SEFM (2008)
Roberto Giacobazzi, Isabella Mastroeni
Transforming Abstract Interpretations by Abstract Interpretation. SAS (2008)
Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini
Hiding Software Watermarks in Loop Structures. SAS (2008)
Roberto Giacobazzi
Abstract Interpretation in Code Security. SEFM (2008)
Roberto Giacobazzi
Foreword. Sci. Comput. Program. 64 (1) (2007)
David Clark, Sebastian Danicic, Roberto Giacobazzi
Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. 72 (2) (2007)
Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni
What You Lose is What You Leak: Information Leakage in Declassification Policies. MFPS (2007)
Francesco Banterle, Roberto Giacobazzi
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. SAS (2007)
Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi
Opaque Predicates Detection by Abstract Interpretation. AMAST (2006)
Roberto Giacobazzi, Francesco Ranzato
Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204 (3) (2006)
Mila Dalla Preda, Roberto Giacobazzi
Control Code Obfuscation by Abstract Interpretation. SEFM (2005)
Roberto Giacobazzi, Isabella Mastroeni
Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP (2005)
Roberto Giacobazzi, Isabella Mastroeni
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. MMM-ACNS (2005)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making abstract domains condensing. ACM Trans. Comput. Log. 6 (1) (2005)
Roberto Giacobazzi, Isabella Mastroeni
Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337 (1-3) (2005)
Mila Dalla Preda, Roberto Giacobazzi
Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP (2005)
Roberto Giacobazzi, Isabella Mastroeni
Timed Abstract Non-interference. FORMATS (2005)
Roberto Giacobazzi, Francesco Ranzato
Incompleteness of States w.r.t. Traces in Model Checking CoRR (2004)
Roberto Giacobazzi, Isabella Mastroeni
Proving Abstract Non-interference. CSL (2004)
Roberto Giacobazzi, Isabella Mastroeni
Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL (2004)
Roberto Giacobazzi, Isabella Mastroeni
Non-Standard Semantics for Program Slicing. High. Order Symb. Comput. 16 (4) (2003)
Roberto Giacobazzi, Isabella Mastroeni
Domain Compression for Complete Abstractions. VMCAI (2003)
Roberto Giacobazzi, Isabella Mastroeni
Compositionality in the puzzle of semantics. PEPM (2002)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making Abstract Domains Condensing CoRR (2002)
Roberto Giacobazzi, Francesco Ranzato
States vs. Traces in Model Checking by Abstract Interpretation. SAS (2002)
Roberto Giacobazzi, Elisa Quintarelli
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. SAS (2001)
Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli
Refining and Compressing Abstract Model Checking. APPIA-GULP-PRODE 48 (2001)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making abstract interpretations complete. J. ACM 47 (2) (2000)
Roberto Giacobazzi, Isabella Mastroeni
A characterization of symmetric semantics by domain complementation. PPDP (2000)
Roberto Giacobazzi, Francesco Ranzato
The Reduced Relative Power Operation on Abstract Domains. Theor. Comput. Sci. 216 (1-2) (1999)
Roberto Giacobazzi
A Tutorial on Domain Theory in Abstract Interpretation. SAS (1998)
Roberto Giacobazzi, Francesco Ranzato
Optimal Domains for Disjunctive Abstract Intepretation. Sci. Comput. Program. 32 (1-3) (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE (1998)
Roberto Giacobazzi
Abductive Analysis of Modular Logic Programs. J. Log. Comput. 8 (4) (1998)
Roberto Giacobazzi, Francesca Scozzari
A Logical Model for Relational Abstract Domains. ACM Trans. Program. Lang. Syst. 20 (5) (1998)
Roberto Giacobazzi, Francesco Ranzato
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput. 145 (2) (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Complete Abstract Interpretations Made Constructive. MFCS (1998)
Roberto Giacobazzi, Francesco Ranzato
Refining and Compressing Abstract Domains. ICALP (1997)
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997 (6) (1997)
Roberto Giacobazzi, Francesco Ranzato
Completeness in Abstract Interpretation: A Domain Perspective. AMAST (1997)
Roberto Giacobazzi
Systematic design of abstract interpretations. APPIA-GULP-PRODE (1997)

Roberto Giacobazzi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roberto Giacobazzi