default search action
Isabella 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
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 46(2): 5 (2024) - 2023
- [c49]Roberto Giacobazzi, Isabella Mastroeni
How Fitting is Your Abstract Domain? SAS 2023: 286-309 - [c48]Isabella Mastroeni
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
Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS 2022: 25-44 - [c46]Isabella Mastroeni
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
Decoupling the ascending and descending phases in Abstract Interpretation. CoRR abs/2206.10893 (2022) - 2021
- [j17]Vincenzo Arceri
Completeness of string analysis for dynamic languages. Inf. Comput. 281: 104791 (2021) - [j16]Vincenzo Arceri
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
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
Equational Logic and Categorical Semantics for Multi-Languages. MFPS 2020: 79-103 - [c41]Vincenzo Arceri
A sound abstract interpreter for dynamic code. SAC 2020: 1979-1988 - [c40]Samuele Buro
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. SAS 2020: 310-332
2010 – 2019
- 2019
- [c39]Samuele Buro
On the Multi-Language Construction. ESOP 2019: 293-321 - [c38]Vincenzo Arceri
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) 2019: 136-151 - [c37]Vincenzo Arceri
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
Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. SAC 2019: 2215-2223 - [c34]Vincenzo Arceri
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
Verifying Bounded Subset-Closed Hyperproperties. SAS 2018: 263-283 - [c32]Samuele Buro
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. VMCAI 2018: 116-137 - 2017
- [j12]Roberto Giacobazzi, Isabella Mastroeni
Maximal incompleteness as obfuscation potency. Formal Aspects Comput. 29(1): 3-31 (2017) - [j11]Isabella Mastroeni
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
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
Weakening Additivity in Adjoining Closures. Order 33(3): 503-516 (2016) - [c29]Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli
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
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
Strong Preservation by Model Deformation. TASE 2012: 33-40 - 2011
- [j8]Isabella Mastroeni
An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4): 665-694 (2011) - [j7]Isabella Mastroeni
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
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
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
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 20:17 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: