The following pages link to Mila Dalla Preda (Q511012):
Displaying 18 items.
- Maximal incompleteness as obfuscation potency (Q511013) (← links)
- Software watermarking: a semantics-based approach (Q1650961) (← links)
- Abstract similarity analysis (Q1650963) (← links)
- Completeness in approximate transduction (Q1664380) (← links)
- Formal framework for reasoning about the precision of dynamic analysis (Q2233534) (← links)
- Unveiling metamorphism by abstract interpretation of code properties (Q2339470) (← links)
- Abstract Symbolic Automata (Q2819818) (← links)
- A Formal Framework for Property-Driven Obfuscation Strategies (Q2842780) (← links)
- (Q2974797) (← links)
- Hunting Distributed Malware with the κ-Calculus (Q3088273) (← links)
- A semantics-based approach to malware detection (Q3189818) (← links)
- Hiding Software Watermarks in Loop Structures (Q3522070) (← links)
- Opaque Predicates Detection by Abstract Interpretation (Q3623927) (← links)
- Semantics-based software watermarking by abstract interpretation (Q4611201) (← links)
- Modelling Metamorphism by Abstract Interpretation (Q4930730) (← links)
- Static Analysis (Q5466577) (← links)
- Automata, Languages and Programming (Q5716756) (← links)
- Abstract interpretation of indexed grammars (Q6536284) (← links)