| 2008 |
|---|
| 7 | EE | Mila Dalla Preda,
Roberto Giacobazzi,
Enrico Visentini:
Hiding Software Watermarks in Loop Structures.
SAS 2008: 174-188 |
| 6 | EE | Mila Dalla Preda,
Mihai Christodorescu,
Somesh Jha,
Saumya K. Debray:
A semantics-based approach to malware detection.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 2007 |
|---|
| 5 | EE | Mila Dalla Preda,
Mihai Christodorescu,
Somesh Jha,
Saumya K. Debray:
A semantics-based approach to malware detection.
POPL 2007: 377-388 |
| 2006 |
|---|
| 4 | EE | Mila Dalla Preda,
Matias Madou,
Koen De Bosschere,
Roberto Giacobazzi:
Opaque Predicates Detection by Abstract Interpretation.
AMAST 2006: 81-95 |
| 2005 |
|---|
| 3 | EE | Mila Dalla Preda,
Roberto Giacobazzi:
Semantic-Based Code Obfuscation by Abstract Interpretation.
ICALP 2005: 1325-1336 |
| 2 | EE | Mila Dalla Preda,
Roberto Giacobazzi:
Control Code Obfuscation by Abstract Interpretation.
SEFM 2005: 301-310 |
| 2004 |
|---|
| 1 | EE | Mila Dalla Preda:
Completeness Refinement in Abstract Symbolic Trajectory Evaluation.
SAS 2004: 38-52 |
