Isabella Mastroeni

Available identifiers

zbMath Open mastroeni.isabellaMaRDI QIDQ511011

List of research outcomes

Publication	Date of Publication	Type
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	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
Algebraic power analysis by abstract interpretation	2005-08-22	Paper
Computer Science Logic	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Isabella Mastroeni