Mila Dalla Preda

Available identifiers

Publication	Date of Publication	Type
Abstract interpretation of indexed grammars	2024-04-19	Paper
Formal framework for reasoning about the precision of dynamic analysis	2021-10-18	Paper
Semantics-based software watermarking by abstract interpretation	2019-01-17	Paper
Completeness in approximate transduction	2018-08-27	Paper
Software watermarking: a semantics-based approach	2018-07-16	Paper
Abstract similarity analysis	2018-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q2974797	2017-04-11	Paper
Maximal incompleteness as obfuscation potency	2017-02-14	Paper
Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables	2016-09-29	Paper
Unveiling metamorphism by abstract interpretation of code properties	2015-04-01	Paper
A semantics-based approach to malware detection	2014-09-12	Paper
A Formal Framework for Property-Driven Obfuscation Strategies	2013-08-16	Paper
Hunting Distributed Malware with the κ-Calculus	2011-08-19	Paper
Modelling Metamorphism by Abstract Interpretation	2010-10-01	Paper
Opaque Predicates Detection by Abstract Interpretation	2009-04-28	Paper
Hiding Software Watermarks in Loop Structures	2008-08-28	Paper
Automata, Languages and Programming	2006-01-10	Paper
Static Analysis	2005-08-24	Paper

This page was built for person: Mila Dalla Preda