| |
| 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 |
| 1 | Koen De Bosschere (Koenraad De Bosschere) | [4] |
| 2 | Mihai Christodorescu | [5] |
| 3 | Saumya K. Debray | [5] |
| 4 | Roberto Giacobazzi | [2] [3] [4] |
| 5 | Somesh Jha | [5] |
| 6 | Matias Madou | [4] |