Isabella Mastroeni
Isabella Mastroeni
Computer Science Dept. - University of Verona
Verified email at univr.it
Title
Cited by
Cited by
Year
Abstract non-interference: Parameterizing non-interference by abstract interpretation
R Giacobazzi, I Mastroeni
ACM SIGPLAN Notices 39 (1), 186-197, 2004
2082004
Non-standard semantics for program slicing
R Giacobazzi, I Mastroeni
Higher-Order and Symbolic Computation 16 (4), 297-339, 2003
532003
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
402008
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
352012
Adjoining declassification and attack models by abstract interpretation
R Giacobazzi, I Mastroeni
European Symposium on Programming, 295-310, 2005
282005
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
252007
Transforming abstract interpretations by abstract interpretation
R Giacobazzi, I Mastroeni
International Static Analysis Symposium, 1-17, 2008
232008
The PER model of abstract non-interference
S Hunt, I Mastroeni
International Static Analysis Symposium, 171-185, 2005
232005
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
222015
On the rôle of abstract non-interference in language-based security
I Mastroeni
Asian Symposium on Programming Languages and Systems, 418-433, 2005
212005
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
182017
Proving abstract non-interference
R Giacobazzi, I Mastroeni
International Workshop on Computer Science Logic, 280-294, 2004
162004
Making abstract interpretation incomplete: Modeling the potency of obfuscation
R Giacobazzi, I Mastroeni
International Static Analysis Symposium, 129-145, 2012
152012
Modelling declassification policies using abstract domain completeness
I Mastroeni, A Banerjee
Mathematical Structures in Computer Science 21 (6), 1253-1299, 2011
152011
Abstract program slicing: From theory towards an implementation
I Mastroeni, Đ Nikolić
International Conference on Formal Engineering Methods, 452-467, 2010
142010
Verification, model checking, and abstract interpretation
ND Jones, M Müller-Olm
10th International Conference, VMCAI, 18-20, 2009
14*2009
Modeling secure information flow with boolean functions
S Genaim, R Giacobazzi, I Mastroeni
IFIP WG 1, 55-66, 2004
142004
Abstract interpretation-based approaches to security-A survey on abstract non-interference and its challenging applications
I Mastroeni
arXiv preprint arXiv:1309.5131, 2013
122013
Timed abstract non-interference
R Giacobazzi, I Mastroeni
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
122005
An abstract interpretation-based model for safety semantics
I Mastroeni, R Giacobazzi
International Journal of Computer Mathematics 88 (4), 665-694, 2011
112011
The system can't perform the operation now. Try again later.
Articles 1–20