Mila Dalla Preda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Mathematical Structures in Computer Science	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
scientific article; zbMATH DE number 6703933 (Why is no real title available?) (available as arXiv preprint)	2017-04-11	Paper
Maximal incompleteness as obfuscation potency Formal Aspects of Computing	2017-02-14	Paper
Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
Unveiling metamorphism by abstract interpretation of code properties Theoretical Computer Science	2015-04-01	Paper
A semantics-based approach to malware detection Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
A formal framework for property-driven obfuscation strategies Fundamentals of Computation Theory	2013-08-16	Paper
Hunting distributed malware with the \(\kappa \)-calculus Fundamentals of Computation Theory	2011-08-19	Paper
Modelling metamorphism by abstract interpretation Static Analysis	2010-10-01	Paper
Opaque Predicates Detection by Abstract Interpretation Algebraic Methodology and Software Technology	2009-04-28	Paper
Hiding Software Watermarks in Loop Structures Static Analysis	2008-08-28	Paper
Automata, Languages and Programming Lecture Notes in Computer Science	2006-01-10	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper

Research outcomes over time

This page was built for person: Mila Dalla Preda