Isabella Mastroeni

Available identifiers

zbMath Open mastroeni.isabellaMaRDI QIDQ511011

List of research outcomes

Publication	Date of Publication	Type
Improving dynamic code analysis by code abstraction	2024-11-29	Paper
On the multi-language construction	2023-11-24	Paper
Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation	2023-07-28	Paper
Decoupling the ascending and descending phases in abstract interpretation	2023-07-25	Paper
Verifying bounded subset-closed hyperproperties	2023-05-26	Paper
Equational logic and categorical semantics for multi-languages	2022-04-29	Paper
Completeness of string analysis for dynamic languages	2021-11-25	Paper
On multi-language abstraction. Towards a static analysis of multi-language programs	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4994686	2021-06-21	Paper
On the semantic equivalence of language syntax formalisms	2020-09-17	Paper
Abstract Code Injection	2020-07-07	Paper
Completeness of abstract domains for string analysis of JavaScript programs	2019-12-12	Paper
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification	2019-09-16	Paper
Completeness in approximate transduction	2018-08-27	Paper
Abstract Program Slicing	2017-07-13	Paper
Maximal incompleteness as obfuscation potency	2017-02-14	Paper
Weakening additivity in adjoining closures	2016-12-16	Paper
Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables	2016-09-29	Paper
Making abstract models complete	2016-07-28	Paper
Abstract non-interference	2015-11-11	Paper
What You Lose is What You Leak: Information Leakage in Declassification Policies	2015-07-10	Paper
A Formal Framework for Property-Driven Obfuscation Strategies	2013-08-16	Paper
Modelling declassification policies using abstract domain completeness	2011-12-08	Paper
An abstract interpretation-based model for safety semantics	2011-04-21	Paper
A proof system for abstract non-interference	2010-04-21	Paper
Transforming Abstract Interpretations by Abstract Interpretation	2008-08-28	Paper
Deriving Bisimulations by Simplifying Partitions	2008-04-04	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Static Analysis	2006-10-31	Paper
Programming Languages and Systems	2006-10-20	Paper
Programming Languages and Systems	2005-09-13	Paper
Computer Science Logic	2005-08-22	Paper
Algebraic power analysis by abstract interpretation	2005-08-22	Paper
Transforming semantics by abstract interpretation	2005-06-30	Paper
Non-standard semantics for program slicing	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4414386	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4530865	2002-06-09	Paper

Research outcomes over time

This page was built for person: Isabella Mastroeni