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
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
Adjoining declassification and attack models by abstract interpretation
R Giacobazzi, I Mastroeni
Programming Languages and Systems: 14th European Symposium on Programming …, 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
The PER model of abstract non-interference
S Hunt, I Mastroeni
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 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
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
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
Verifying bounded subset-closed hyperproperties
I Mastroeni, M Pasqua
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
On the role of abstract non-interference in language-based security
I Mastroeni
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
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
Static program analysis for string manipulation languages
V Arceri, I Mastroeni
arXiv preprint arXiv:1808.07827, 2018
Proving abstract non-interference
R Giacobazzi, I Mastroeni
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004
Maximal incompleteness as obfuscation potency
R Giacobazzi, I Mastroeni, M Dalla Preda
Formal Aspects of Computing 29, 3-31, 2017
Abstract interpretation-based approaches to security-A survey on abstract non-interference and its challenging applications
I Mastroeni
arXiv preprint arXiv:1309.5131, 2013
Modelling declassification policies using abstract domain completeness
I Mastroeni, A Banerjee
Mathematical Structures in Computer Science 21 (6), 1253-1299, 2011
The system can't perform the operation now. Try again later.
Articles 1–20