default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIsabella Mastroeni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j18]Roberto Giacobazzi
, Isabella Mastroeni, Elia Perantoni:
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 46(2): 5 (2024)- 2023
- [c49]Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni:
How Fitting is Your Abstract Domain? SAS 2023: 286-309 - [c48]Isabella Mastroeni, Michele Pasqua:
Domain Precision in Galois Connection-Less Abstract Interpretation. SAS 2023: 434-459 - [i4]Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi:
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). Dagstuhl Reports 13(7): 66-95 (2023) - 2022
- [c47]Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella:
Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS 2022: 25-44 - [c46]Isabella Mastroeni, Michele Pasqua:
Verifying opacity by abstract interpretation. SAC 2022: 1817-1826 - [c45]Roberto Giacobazzi, Isabella Mastroeni:
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. SAS 2022: 247-271 - [i3]Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella:
Decoupling the ascending and descending phases in Abstract Interpretation. CoRR abs/2206.10893 (2022) - 2021
- [j17]Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of string analysis for dynamic languages. Inf. Comput. 281: 104791 (2021) - [j16]Vincenzo Arceri, Isabella Mastroeni:
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval. ACM Trans. Priv. Secur. 24(2): 10:1-10:38 (2021) - [c44]Isabella Mastroeni, Vincenzo Arceri:
Improving Dynamic Code Analysis by Code Abstraction. VPT@ETAPS 2021: 17-32 - 2020
- [j15]Samuele Buro, Isabella Mastroeni:
On the semantic equivalence of language syntax formalisms. Theor. Comput. Sci. 840: 234-248 (2020) - [c43]Samuele Buro, Roy L. Crole, Isabella Mastroeni:
Equational Logic and Set-Theoretic Models for Multi-Languages. ICTCS 2020: 236-249 - [c42]Samuele Buro, Roy L. Crole, Isabella Mastroeni:
Equational Logic and Categorical Semantics for Multi-Languages. MFPS 2020: 79-103 - [c41]Vincenzo Arceri, Isabella Mastroeni:
A sound abstract interpreter for dynamic code. SAC 2020: 1979-1988 - [c40]Samuele Buro, Roy L. Crole, Isabella Mastroeni:
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. SAS 2020: 310-332
2010 – 2019
- 2019
- [c39]Samuele Buro, Isabella Mastroeni:
On the Multi-Language Construction. ESOP 2019: 293-321 - [c38]Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni:
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) 2019: 136-151 - [c37]Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC 2019: 255-272 - [c36]Samuele Buro, Isabella Mastroeni:
On the Semantic Equivalence of Language Syntax Formalisms. ICTCS 2019: 34-51 - [c35]Isabella Mastroeni, Michele Pasqua:
Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. SAC 2019: 2215-2223 - [c34]Vincenzo Arceri, Isabella Mastroeni:
An Automata-based Abstract Semantics for String Manipulation Languages. VPT@Programming 2019: 19-33 - 2018
- [j14]Mila Dalla Preda, Isabella Mastroeni:
Characterizing a property-driven obfuscation strategy. J. Comput. Secur. 26(1): 31-69 (2018) - [j13]Roberto Giacobazzi, Isabella Mastroeni:
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. ACM Trans. Priv. Secur. 21(2): 9:1-9:31 (2018) - [c33]Isabella Mastroeni, Michele Pasqua:
Verifying Bounded Subset-Closed Hyperproperties. SAS 2018: 263-283 - [c32]Samuele Buro, Isabella Mastroeni:
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. VMCAI 2018: 116-137 - 2017
- [j12]Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda:
Maximal incompleteness as obfuscation potency. Formal Aspects Comput. 29(1): 3-31 (2017) - [j11]Isabella Mastroeni, Damiano Zanardini:
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. ACM Trans. Comput. Log. 18(1): 7:1-7:58 (2017) - [c31]Michele Pasqua, Isabella Mastroeni:
On Topologies for (Hyper)Properties. ICTCS/CILC 2017: 150-161 - [c30]Isabella Mastroeni, Michele Pasqua:
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. SAS 2017: 232-252 - [e2]Isabella Mastroeni:
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016. Electronic Notes in Theoretical Computer Science 331, Elsevier 2017 [contents] - [i2]Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni:
SEA: String Executability Analysis by Abstract Interpretation. CoRR abs/1702.02406 (2017) - 2016
- [j10]Roberto Giacobazzi, Isabella Mastroeni:
Making abstract models complete. Math. Struct. Comput. Sci. 26(4): 658-701 (2016) - [j9]Isabella Mastroeni, Roberto Giacobazzi:
Weakening Additivity in Adjoining Closures. Order 33(3): 503-516 (2016) - [c29]Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni:
Active Android malware analysis: an approach based on stochastic games. SSPREW@ACSAC 2016: 5:1-5:10 - [c28]Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni:
Completeness in Approximate Transduction. SAS 2016: 126-146 - [c27]Isabella Mastroeni:
Preface. NSAD@SAS 2016: 1-2 - [i1]Isabella Mastroeni, Damiano Zanardini:
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing. CoRR abs/1605.05104 (2016) - 2015
- [c26]Fabio Bellini, Roberto Chiodi, Isabella Mastroeni:
MIME: A Formal Approach to (Android) Emulation Malware Analysis. FPS 2015: 259-267 - [c25]Mila Dalla Preda, Isabella Mastroeni:
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. SPRO@ICSE 2015: 59-65 - [c24]Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni:
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. POPL 2015: 329-341 - 2014
- [c23]Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi:
Analyzing program dependencies for malware detection. PPREW@POPL 2014: 6:1-6:7 - 2013
- [c22]Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi:
A Formal Framework for Property-Driven Obfuscation Strategies. FCT 2013: 133-144 - [c21]Isabella Mastroeni:
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. Festschrift for Dave Schmidt 2013: 41-65 - [e1]Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni:
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7737, Springer 2013, ISBN 978-3-642-35872-2 [contents] - 2012
- [c20]Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni:
Obfuscation by partial evaluation of distorted interpreters. PEPM 2012: 63-72 - [c19]Roberto Giacobazzi, Isabella Mastroeni:
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. SAS 2012: 129-145 - [c18]Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic:
Strong Preservation by Model Deformation. TASE 2012: 33-40 - 2011
- [j8]Isabella Mastroeni, Roberto Giacobazzi:
An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4): 665-694 (2011) - [j7]Isabella Mastroeni, Anindya Banerjee:
Modelling declassification policies using abstract domain completeness. Math. Struct. Comput. Sci. 21(6): 1253-1299 (2011) - 2010
- [j6]Roberto Giacobazzi, Isabella Mastroeni:
Adjoining classified and unclassified information by abstract interpretation. J. Comput. Secur. 18(5): 751-797 (2010) - [j5]Roberto Giacobazzi, Isabella Mastroeni:
A Proof System for Abstract Non-interference. J. Log. Comput. 20(2): 449-479 (2010) - [j4]Musard Balliu, Isabella Mastroeni:
A Weakest Precondition Approach to Robustness. Trans. Comput. Sci. 10: 261-297 (2010) - [c17]Isabella Mastroeni, Durica Nikolic:
Abstract Program Slicing: From Theory towards an Implementation. ICFEM 2010: 452-467
2000 – 2009
- 2009
- [c16]Musard Balliu, Isabella Mastroeni:
A weakest precondition approach to active attacks analysis. PLAS 2009: 59-71 - 2008
- [c15]Isabella Mastroeni, Damiano Zanardini:
Data dependencies and program slicing: from syntax to abstract semantics. PEPM 2008: 125-134 - [c14]Roberto Giacobazzi, Isabella Mastroeni:
Transforming Abstract Interpretations by Abstract Interpretation. SAS 2008: 1-17 - [c13]Isabella Mastroeni:
Deriving Bisimulations by Simplifying Partitions. VMCAI 2008: 157-171 - 2007
- [c12]Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni:
What You Lose is What You Leak: Information Leakage in Declassification Policies. MFPS 2007: 47-66 - 2005
- [b1]Isabella Mastroeni:
Abstract non-interference. University of Verona, Italy, 2005 - [j3]Roberto Giacobazzi, Isabella Mastroeni:
Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337(1-3): 1-50 (2005) - [c11]Isabella Mastroeni:
On the Rôle of Abstract Non-interference in Language-Based Security. APLAS 2005: 418-433 - [c10]Roberto Giacobazzi, Isabella Mastroeni:
Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP 2005: 295-310 - [c9]Roberto Giacobazzi, Isabella Mastroeni:
Timed Abstract Non-interference. FORMATS 2005: 289-303 - [c8]Roberto Giacobazzi, Isabella Mastroeni:
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. MMM-ACNS 2005: 221-234 - [c7]Sebastian Hunt, Isabella Mastroeni:
The PER Model of Abstract Non-interference. SAS 2005: 171-185 - 2004
- [j2]Isabella Mastroeni:
Algebraic Power Analysis by Abstract Interpretation. High. Order Symb. Comput. 17(4): 297-345 (2004) - [c6]Roberto Giacobazzi, Isabella Mastroeni:
Proving Abstract Non-interference. CSL 2004: 280-294 - [c5]Roberto Giacobazzi, Isabella Mastroeni:
Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL 2004: 186-197 - 2003
- [j1]Roberto Giacobazzi, Isabella Mastroeni:
Non-Standard Semantics for Program Slicing. High. Order Symb. Comput. 16(4): 297-339 (2003) - [c4]Roberto Giacobazzi, Isabella Mastroeni:
Domain Compression for Complete Abstractions. VMCAI 2003: 146-160 - 2002
- [c3]Roberto Giacobazzi, Isabella Mastroeni:
Compositionality in the puzzle of semantics. PEPM 2002: 87-97 - 2001
- [c2]Isabella Mastroeni:
Numerical Power Analysis. PADO 2001: 117-137 - 2000
- [c1]Roberto Giacobazzi, Isabella Mastroeni:
A characterization of symmetric semantics by domain complementation. PPDP 2000: 115-126
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
