| Abstract non-interference: Parameterizing non-interference by abstract interpretation R Giacobazzi, I Mastroeni ACM SIGPLAN Notices 39 (1), 186-197, 2004 | 249 | 2004 |
| Non-standard semantics for program slicing R Giacobazzi, I Mastroeni Higher-Order and Symbolic Computation 16, 297-339, 2003 | 54 | 2003 |
| Data dependencies and program slicing: from syntax to abstract semantics I Mastroeni, D Zanardini Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008 | 53 | 2008 |
| Obfuscation by partial evaluation of distorted interpreters R Giacobazzi, ND Jones, I Mastroeni Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 50 | 2012 |
| Abstract symbolic automata: Mixed syntactic/semantic similarity analysis of executables M Dalla Preda, R Giacobazzi, A Lakhotia, I Mastroeni Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 43 | 2015 |
| Adjoining declassification and attack models by abstract interpretation R Giacobazzi, I Mastroeni Programming Languages and Systems: 14th European Symposium on Programming …, 2005 | 38 | 2005 |
| Abstract non-interference: a unifying framework for weakening information-flow R Giacobazzi, I Mastroeni ACM Transactions on Privacy and Security (TOPS) 21 (2), 1-31, 2018 | 33 | 2018 |
| The PER model of abstract non-interference S Hunt, I Mastroeni Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 32 | 2005 |
| Abstract program slicing: An abstract interpretation-based approach to program slicing I Mastroeni, D Zanardini ACM Transactions on Computational Logic (TOCL) 18 (1), 1-58, 2017 | 31 | 2017 |
| Making abstract interpretation incomplete: Modeling the potency of obfuscation R Giacobazzi, I Mastroeni Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 28 | 2012 |
| What you lose is what you leak: Information leakage in declassification policies A Banerjee, R Giacobazzi, I Mastroeni Electronic Notes in Theoretical Computer Science 173, 47-66, 2007 | 27 | 2007 |
| Transforming abstract interpretations by abstract interpretation: New challenges in language-based security R Giacobazzi, I Mastroeni Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008 | 26 | 2008 |
| Verifying bounded subset-closed hyperproperties I Mastroeni, M Pasqua Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 25 | 2018 |
| Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval V Arceri, I Mastroeni ACM Transactions on Privacy and Security (TOPS) 24 (2), 1-38, 2021 | 23 | 2021 |
| On the role of abstract non-interference in language-based security I Mastroeni Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005 | 23 | 2005 |
| Static program analysis for string manipulation languages V Arceri, I Mastroeni arXiv preprint arXiv:1808.07827, 2018 | 19* | 2018 |
| Abstract program slicing: From theory towards an implementation I Mastroeni, Đ Nikolić Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 19 | 2010 |
| Proving abstract non-interference R Giacobazzi, I Mastroeni Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004 | 18 | 2004 |
| Hyperhierarchy of semantics-a formal framework for hyperproperties verification I Mastroeni, M Pasqua Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 17 | 2017 |
| Maximal incompleteness as obfuscation potency R Giacobazzi, I Mastroeni, M Dalla Preda Formal Aspects of Computing 29, 3-31, 2017 | 17 | 2017 |
Roberto GiacobazziProfessor of Computer Science, University of ArizonaBestätigte E-Mail-Adresse bei cs.arizona.edu
