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 (4), 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
European Symposium on Programming, 295-310, 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
Transforming abstract interpretations by abstract interpretation
R Giacobazzi, I Mastroeni
International Static Analysis Symposium, 1-17, 2008
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
The PER model of abstract non-interference
S Hunt, I Mastroeni
International Static Analysis Symposium, 171-185, 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
Making abstract interpretation incomplete: Modeling the potency of obfuscation
R Giacobazzi, I Mastroeni
International Static Analysis Symposium, 129-145, 2012
On the role of abstract non-interference in language-based security
I Mastroeni
Asian Symposium on Programming Languages and Systems, 418-433, 2005
Abstract program slicing: From theory towards an implementation
I Mastroeni, Đ Nikolić
International Conference on Formal Engineering Methods, 452-467, 2010
Modeling secure information flow with boolean functions
S Genaim, R Giacobazzi, I Mastroeni
IFIP WG 1, 55-66, 2004
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
Modelling declassification policies using abstract domain completeness
I Mastroeni, A Banerjee
Mathematical Structures in Computer Science 21 (6), 1253-1299, 2011
Proving abstract non-interference
R Giacobazzi, I Mastroeni
International Workshop on Computer Science Logic, 280-294, 2004
Static program analysis for string manipulation languages
V Arceri, I Mastroeni
arXiv preprint arXiv:1808.07827, 2018
On the Multi-Language Construction.
S Buro, I Mastroeni
ESOP, 293-321, 2019
Abstract interpretation-based approaches to security-A survey on abstract non-interference and its challenging applications
I Mastroeni
arXiv preprint arXiv:1309.5131, 2013
The system can't perform the operation now. Try again later.
Articles 1–20