Isabella Mastroeni
Isabella Mastroeni
Computer Science Dept. - University of Verona
Verified email at
Cited by
Cited by
Abstract non-interference: Parameterizing non-interference by abstract interpretation
R Giacobazzi, I Mastroeni
ACM SIGPLAN Notices 39 (1), 186-197, 2004
Non-standard semantics for program slicing
R Giacobazzi, I Mastroeni
Higher-Order and Symbolic Computation 16, 297-339, 2003
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
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
Adjoining declassification and attack models by abstract interpretation
R Giacobazzi, I Mastroeni
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
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
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
The PER model of abstract non-interference
S Hunt, I Mastroeni
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
Making abstract interpretation incomplete: Modeling the potency of obfuscation
R Giacobazzi, I Mastroeni
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 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
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
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
On the role of abstract non-interference in language-based security
I Mastroeni
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
Proving abstract non-interference
R Giacobazzi, I Mastroeni
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004
Static program analysis for string manipulation languages
V Arceri, I Mastroeni
arXiv preprint arXiv:1808.07827, 2018
Verifying bounded subset-closed hyperproperties
I Mastroeni, M Pasqua
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
Maximal incompleteness as obfuscation potency
R Giacobazzi, I Mastroeni, M Dalla Preda
Formal Aspects of Computing 29, 3-31, 2017
Modelling declassification policies using abstract domain completeness
I Mastroeni, A Banerjee
Mathematical Structures in Computer Science 21 (6), 1253-1299, 2011
Abstract program slicing: From theory towards an implementation
I Mastroeni, Đ Nikolić
Formal Methods and Software Engineering: 12th International Conference on …, 2010
Modeling secure information flow with boolean functions
S Genaim, R Giacobazzi, I Mastroeni
IFIP WG 1, 55-66, 2004
The system can't perform the operation now. Try again later.
Articles 1–20