default search action
Roberto Giacobazzi
Person information
- affiliation: University of Verona, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j44]Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban:
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8(POPL): 1629-1662 (2024) - [j43]Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni:
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 46(2): 5 (2024) - 2023
- [j42]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
A Correctness and Incorrectness Program Logic. J. ACM 70(2): 15:1-15:45 (2023) - [c83]Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi:
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS 2023: 114-138 - [c82]Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni:
How Fitting is Your Abstract Domain? SAS 2023: 286-309 - [e4]Pedro López-García, John P. Gallagher, Roberto Giacobazzi:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13160, Springer 2023, ISBN 978-3-031-31475-9 [contents] - 2022
- [j41]Roberto Giacobazzi, Francesco Ranzato:
History of Abstract Interpretation. IEEE Ann. Hist. Comput. 44(2): 33-43 (2022) - [j40]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): 1-31 (2022) - [c81]Marco Campion, Mila Dalla Preda, Roberto Giacobazzi:
On the Properties of Partial Completeness in Abstract Interpretation. ICTCS 2022: 79-85 - [c80]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
Abstract interpretation repair. PLDI 2022: 426-441 - [c79]Roberto Giacobazzi, Isabella Mastroeni:
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. SAS 2022: 247-271 - 2021
- [j39]Marco Campion, Mila Dalla Preda, Roberto Giacobazzi:
Learning metamorphic malware signatures from samples. J. Comput. Virol. Hacking Tech. 17(3): 167-183 (2021) - [j38]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): 279-297 (2021) - [c78]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
A Logic for Locally Complete Abstract Interpretations. LICS 2021: 1-13 - 2020
- [j37]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): 28:1-28:28 (2020) - [c77]Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni:
Formal Framework for Reasoning About the Precision of Dynamic Analysis. SAS 2020: 178-199
2010 – 2019
- 2019
- [j36]Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato:
A²I: abstract² interpretation. Proc. ACM Program. Lang. 3(POPL): 42:1-42:31 (2019) - [c76]Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo:
Computing Abstract Distances in Logic Programs. LOPSTR 2019: 57-72 - [c75]Marco Campion, Mila Dalla Preda, Roberto Giacobazzi:
Abstract Interpretation of Indexed Grammars. SAS 2019: 121-139 - 2018
- [j35]Roberto Bruni, Roberto Giacobazzi, Roberta Gori:
Code obfuscation against abstraction refinement attacks. Formal Aspects Comput. 30(6): 685-711 (2018) - [j34]Roberto Giacobazzi, Isabella Mastroeni:
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. ACM Trans. Priv. Secur. 21(2): 9:1-9:31 (2018) - [c74]Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato:
Program Analysis Is Harder Than Verification: A Computability Perspective. CAV (2) 2018: 75-95 - [c73]Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda:
A deep learning approach to program similarity. MASES@ASE 2018: 26-35 - [c72]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. LICS 2018: 175-184 - [c71]Roberto Bruni, Roberto Giacobazzi, Roberta Gori:
Code Obfuscation Against Abstract Model Checking Attacks. VMCAI 2018: 94-115 - [i7]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. CoRR abs/1804.10507 (2018) - [i6]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) - 2017
- [j33]Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda:
Maximal incompleteness as obfuscation potency. Formal Aspects Comput. 29(1): 3-31 (2017) - [i5]Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni:
SEA: String Executability Analysis by Abstract Interpretation. CoRR abs/1702.02406 (2017) - 2016
- [j32]Roberto Giacobazzi, Isabella Mastroeni:
Making abstract models complete. Math. Struct. Comput. Sci. 26(4): 658-701 (2016) - [j31]Isabella Mastroeni, Roberto Giacobazzi:
Weakening Additivity in Adjoining Closures. Order 33(3): 503-516 (2016) - [c70]Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni:
Active Android malware analysis: an approach based on stochastic games. SSPREW@ACSAC 2016: 5:1-5:10 - [c69]Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni:
Completeness in Approximate Transduction. SAS 2016: 126-146 - 2015
- [j30]Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray:
Unveiling metamorphism by abstract interpretation of code properties. Theor. Comput. Sci. 577: 74-97 (2015) - [c68]Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato:
Analyzing Program Analyses. POPL 2015: 261-273 - [c67]Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni:
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. POPL 2015: 329-341 - 2014
- [j29]Roberto Giacobazzi, Francesco Ranzato:
Correctness kernels of abstract interpretations. Inf. Comput. 237: 187-203 (2014) - [c66]Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi:
Analyzing program dependencies for malware detection. PPREW@POPL 2014: 6:1-6:7 - [c65]Roberto Giacobazzi:
Unveiling and Veiling Information in Programs. PPDP 2014: 211-212 - [i4]Roberto Giacobazzi, Axel Simon, Sarah Zennou:
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). Dagstuhl Reports 4(6): 48-63 (2014) - 2013
- [j28]Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler:
Principles of POPL. ACM SIGPLAN Notices 48(4S): 12-16 (2013) - [c64]Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi:
A Formal Framework for Property-Driven Obfuscation Strategies. FCT 2013: 133-144 - [c63]Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi:
Fast location of similar code fragments using semantic 'juice'. PPREW@POPL 2013: 5:1-5:6 - [e3]Roberto Giacobazzi, Radhia Cousot:
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. ACM 2013, ISBN 978-1-4503-1832-7 [contents] - [e2]Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni:
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7737, Springer 2013, ISBN 978-3-642-35872-2 [contents] - 2012
- [c62]Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia:
Twisting Additivity in Program Obfuscation. ICISTM 2012: 336-347 - [c61]Roberto Giacobazzi:
Software Security by Obscurity - A Programming Language Perspective. ICISTM 2012: 427-432 - [c60]Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni:
Obfuscation by partial evaluation of distorted interpreters. PEPM 2012: 63-72 - [c59]Roberto Giacobazzi, Isabella Mastroeni:
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. SAS 2012: 129-145 - [c58]Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic:
Strong Preservation by Model Deformation. TASE 2012: 33-40 - 2011
- [j27]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): 8-13 (2011) - [j26]Isabella Mastroeni, Roberto Giacobazzi:
An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4): 665-694 (2011) - [j25]David Clark, Roberto Giacobazzi, Chunyan Mu:
Foreword: programming language interference and dependence. Math. Struct. Comput. Sci. 21(6): 1109-1110 (2011) - 2010
- [j24]Roberto Giacobazzi, Isabella Mastroeni:
Adjoining classified and unclassified information by abstract interpretation. J. Comput. Secur. 18(5): 751-797 (2010) - [j23]Roberto Giacobazzi, Isabella Mastroeni:
A Proof System for Abstract Non-interference. J. Log. Comput. 20(2): 449-479 (2010) - [c57]Roberto Giacobazzi, Francesco Ranzato:
Example-Guided Abstraction Simplification. ICALP (2) 2010: 211-222 - [c56]Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend:
Modelling Metamorphism by Abstract Interpretation. SAS 2010: 218-235 - [c55]Roberto Giacobazzi:
Abstract Interpretation-Based Protection. VMCAI 2010: 23-24 - [p1]Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato:
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158
2000 – 2009
- 2009
- [j22]Mila Dalla Preda, Roberto Giacobazzi:
Semantics-based code obfuscation by abstract interpretation. J. Comput. Secur. 17(6): 855-908 (2009) - [j21]Patrick Cousot, Radhia Cousot, Roberto Giacobazzi:
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009) - [i3]Roberto Giacobazzi, Francesco Ranzato:
Abstraction-Guided Abstraction Simplification. CoRR abs/0910.4748 (2009) - 2008
- [c54]Roberto Giacobazzi, Isabella Mastroeni:
Transforming Abstract Interpretations by Abstract Interpretation. SAS 2008: 1-17 - [c53]Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini:
Hiding Software Watermarks in Loop Structures. SAS 2008: 174-188 - [c52]Roberto Giacobazzi:
Abstract Interpretation in Code Security. SEFM 2008: 3 - [c51]Roberto Giacobazzi:
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. SEFM 2008: 7-18 - 2007
- [j20]David Clark, Sebastian Danicic, Roberto Giacobazzi:
Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. 72(2): 123 (2007) - [j19]Roberto Giacobazzi:
Foreword. Sci. Comput. Program. 64(1): 1-2 (2007) - [c50]Francesco Banterle, Roberto Giacobazzi:
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. SAS 2007: 315-332 - [c49]Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni:
What You Lose is What You Leak: Information Leakage in Declassification Policies. MFPS 2007: 47-66 - 2006
- [j18]Roberto Giacobazzi, Francesco Ranzato:
Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204(3): 376-407 (2006) - [c48]Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi:
Opaque Predicates Detection by Abstract Interpretation. AMAST 2006: 81-95 - 2005
- [j17]Roberto Giacobazzi, Isabella Mastroeni:
Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337(1-3): 1-50 (2005) - [j16]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005) - [c47]Roberto Giacobazzi, Isabella Mastroeni:
Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP 2005: 295-310 - [c46]Roberto Giacobazzi, Isabella Mastroeni:
Timed Abstract Non-interference. FORMATS 2005: 289-303 - [c45]Mila Dalla Preda, Roberto Giacobazzi:
Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP 2005: 1325-1336 - [c44]Roberto Giacobazzi, Isabella Mastroeni:
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. MMM-ACNS 2005: 221-234 - [c43]Mila Dalla Preda, Roberto Giacobazzi:
Control Code Obfuscation by Abstract Interpretation. SEFM 2005: 301-310 - 2004
- [c42]Roberto Giacobazzi, Isabella Mastroeni:
Proving Abstract Non-interference. CSL 2004: 280-294 - [c41]Roberto Giacobazzi, Isabella Mastroeni:
Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL 2004: 186-197 - [e1]Roberto Giacobazzi:
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Lecture Notes in Computer Science 3148, Springer 2004, ISBN 3-540-22791-1 [contents] - [i2]Roberto Giacobazzi, Francesco Ranzato:
Incompleteness of States w.r.t. Traces in Model Checking. CoRR cs.LO/0404048 (2004) - 2003
- [j15]Roberto Giacobazzi, Isabella Mastroeni:
Non-Standard Semantics for Program Slicing. High. Order Symb. Comput. 16(4): 297-339 (2003) - [c40]Roberto Giacobazzi, Isabella Mastroeni:
Domain Compression for Complete Abstractions. VMCAI 2003: 146-160 - 2002
- [c39]Roberto Giacobazzi, Isabella Mastroeni:
Compositionality in the puzzle of semantics. PEPM 2002: 87-97 - [c38]Roberto Giacobazzi, Francesco Ranzato:
States vs. Traces in Model Checking by Abstract Interpretation. SAS 2002: 461-476 - [i1]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making Abstract Domains Condensing. CoRR cs.PL/0204016 (2002) - 2001
- [c37]Roberto Giacobazzi, Elisa Quintarelli:
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. SAS 2001: 356-373 - [c36]Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli:
Refining and Compressing Abstract Model Checking. APPIA-GULP-PRODE 2001: 90-107 - 2000
- [j14]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000) - [c35]Roberto Giacobazzi, Isabella Mastroeni:
A characterization of symmetric semantics by domain complementation. PPDP 2000: 115-126
1990 – 1999
- 1999
- [j13]Roberto Giacobazzi, Francesco Ranzato:
The Reduced Relative Power Operation on Abstract Domains. Theor. Comput. Sci. 216(1-2): 159-211 (1999) - 1998
- [j12]Roberto Giacobazzi, Francesco Ranzato:
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput. 145(2): 153-190 (1998) - [j11]Roberto Giacobazzi:
Abductive Analysis of Modular Logic Programs. J. Log. Comput. 8(4): 457-483 (1998) - [j10]Roberto Giacobazzi, Francesco Ranzato:
Optimal Domains for Disjunctive Abstract Intepretation. Sci. Comput. Program. 32(1-3): 177-210 (1998) - [j9]Roberto Giacobazzi, Francesca Scozzari:
A Logical Model for Relational Abstract Domains. ACM Trans. Program. Lang. Syst. 20(5): 1067-1109 (1998) - [c34]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE 1998: 241-254 - [c33]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377 - [c32]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229 - [c31]Roberto Giacobazzi:
A Tutorial on Domain Theory in Abstract Interpretation. SAS 1998: 349-350 - 1997
- [j8]Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997(6) (1997) - [j7]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) - [c30]Roberto Giacobazzi:
Systematic design of abstract interpretations. APPIA-GULP-PRODE 1997: 1-4 - [c29]Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. APPIA-GULP-PRODE 1997: 33-44 - [c28]Roberto Giacobazzi, Francesco Ranzato:
Completeness in Abstract Interpretation: A Domain Perspective. AMAST 1997: 231-245 - [c27]Roberto Giacobazzi, Francesco Ranzato:
Refining and Compressing Abstract Domains. ICALP 1997: 771-781 - [c26]Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. PLILP 1997: 175-189 - 1996
- [j6]Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato:
A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996) - [c25]Roberto Giacobazzi, Francesco Ranzato:
Optimization of Disjunctive Abstract Interpretations. APPIA-GULP-PRODE 1996: 53-66 - [c24]Roberto Giacobazzi, Francesco Ranzato:
Complementing Logic Program Semantics. ALP 1996: 238-253 - [c23]Roberto Giacobazzi, Francesco Ranzato:
Compositional Optimization of Disjunctive Abstract Interpretations. ESOP 1996: 141-155 - [c22]Roberto Giacobazzi:
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. STACS 1996: 503-514 - 1995
- [j5]Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher:
Oracle Semantics for Prolog. Inf. Comput. 122(2): 178-200 (1995) - [j4]Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi:
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995) - [c21]Roberto Giacobazzi:
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. GULP-PRODE 1995: 619-630 - [c20]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. SAS 1995: 100-117 - [c19]Roberto Giacobazzi, Francesco Ranzato:
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. ILPS 1995: 321-335 - 1994
- [c18]Roberto Giacobazzi:
Characterizing Abstract Program Properties by Abduction. GULP-PRODE (1) 1994: 77-91 - [c17]Roberto Giacobazzi:
On the Collecting Semantics for Logic Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c16]