| Abstract non-interference: Parameterizing non-interference by abstract interpretation R Giacobazzi, I Mastroeni ACM SIGPLAN Notices 39 (1), 186-197, 2004 | 255 | 2004 |
| Non-standard semantics for program slicing R Giacobazzi, I Mastroeni Higher-Order and Symbolic Computation 16, 297-339, 2003 | 55 | 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 | 54 | 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 | 53 | 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 | 37 | 2018 |
| 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 | 32 | 2017 |
| The PER model of abstract non-interference S Hunt, I Mastroeni International Static Analysis Symposium, 171-185, 2005 | 32 | 2005 |
| Making abstract interpretation incomplete: Modeling the potency of obfuscation R Giacobazzi, I Mastroeni Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 31 | 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 | 28 | 2007 |
| Verifying bounded subset-closed hyperproperties I Mastroeni, M Pasqua International Static Analysis Symposium, 263-283, 2018 | 27 | 2018 |
| Transforming abstract interpretations by abstract interpretation: New challenges in language-based security R Giacobazzi, I Mastroeni International Static Analysis Symposium, 1-17, 2008 | 27 | 2008 |
| 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 | 24 | 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 | 21* | 2018 |
| 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 | 20 | 2017 |
| Maximal incompleteness as obfuscation potency R Giacobazzi, I Mastroeni, M Dalla Preda Formal Aspects of Computing 29, 3-31, 2017 | 20 | 2017 |
| Proving abstract non-interference R Giacobazzi, I Mastroeni International Workshop on Computer Science Logic, 280-294, 2004 | 20 | 2004 |
| Abstract interpretation-based approaches to security-A survey on abstract non-interference and its challenging applications I Mastroeni arXiv preprint arXiv:1309.5131, 2013 | 19 | 2013 |
Roberto GiacobazziProfessor of Computer Science, University of ArizonaEmail yang diverifikasi di cs.arizona.edu
