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
552003
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
412012
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
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
302015
Adjoining declassification and attack models by abstract interpretation
R Giacobazzi, I Mastroeni
European Symposium on Programming, 295-310, 2005
302005
Transforming abstract interpretations by abstract interpretation
R Giacobazzi, I Mastroeni
International Static Analysis Symposium, 1-17, 2008
252008
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
The PER model of abstract non-interference
S Hunt, I Mastroeni
International Static Analysis Symposium, 171-185, 2005
242005
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
222017
On the role of abstract non-interference in language-based security
I Mastroeni
Asian Symposium on Programming Languages and Systems, 418-433, 2005
212005
Making abstract interpretation incomplete: Modeling the potency of obfuscation
R Giacobazzi, I Mastroeni
International Static Analysis Symposium, 129-145, 2012
192012
Abstract program slicing: From theory towards an implementation
I Mastroeni, Đ Nikolić
International Conference on Formal Engineering Methods, 452-467, 2010
162010
Modeling secure information flow with boolean functions
S Genaim, R Giacobazzi, I Mastroeni
IFIP WG 1, 55-66, 2004
162004
Modelling declassification policies using abstract domain completeness
I Mastroeni, A Banerjee
Mathematical Structures in Computer Science 21 (6), 1253-1299, 2011
152011
Proving abstract non-interference
R Giacobazzi, I Mastroeni
International Workshop on Computer Science Logic, 280-294, 2004
152004
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
142018
Abstract interpretation-based approaches to security-A survey on abstract non-interference and its challenging applications
I Mastroeni
arXiv preprint arXiv:1309.5131, 2013
132013
Adjoining classified and unclassified information by abstract interpretation
R Giacobazzi, I Mastroeni
Journal of Computer Security 18 (5), 751-797, 2010
122010
A weakest precondition approach to active attacks analysis
M Balliu, I Mastroeni
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009
122009
The system can't perform the operation now. Try again later.
Articles 1–20