| * | 2009 |
|---|
| 10 | EE | Mariano Ceccato,
Paolo Tonella,
Mila Dalla Preda,
Anirban Majumdar:
Remote software protection by orthogonal client replacement.
SAC 2009: 448-455 |
| 9 | EE | Mariano Ceccato,
Mila Dalla Preda,
Jasvir Nagra,
Christian S. Collberg,
Paolo Tonella:
Trading-off security and performance in barrier slicing for remote software entrusting.
Autom. Softw. Eng. 16(2): 235-261 (2009) |
| 2008 |
|---|
| 8 | EE | Mila Dalla Preda,
Roberto Giacobazzi,
Enrico Visentini:
Hiding Software Watermarks in Loop Structures.
SAS 2008: 174-188 |
| 7 | 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 |
|---|
| 6 | EE | Mila Dalla Preda,
Mihai Christodorescu,
Somesh Jha,
Saumya K. Debray:
A semantics-based approach to malware detection.
POPL 2007: 377-388 |
| 5 | EE | Mariano Ceccato,
Mila Dalla Preda,
Jasvir Nagra,
Christian S. Collberg,
Paolo Tonella:
Barrier Slicing for Remote Software Trusting.
SCAM 2007: 27-36 |
| 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 |
