Search the dblp DataBase

Publications of Author

1. Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi
   Opaque Predicates Detection by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:81-95 [Conf]
   
2. Mila Dalla Preda, Roberto Giacobazzi
   Semantic-Based Code Obfuscation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   ICALP, 2005, pp:1325-1336 [Conf]
   
3. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
   A semantics-based approach to malware detection. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:377-388 [Conf]
   
4. Mila Dalla Preda
   Completeness Refinement in Abstract Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP]
   SAS, 2004, pp:38-52 [Conf]
   
5. Mila Dalla Preda, Roberto Giacobazzi
   Control Code Obfuscation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:301-310 [Conf]
   
6. 
   Remote software protection by orthogonal client replacement. [Citation Graph (, )][DBLP]
   
   
7. 
   Hiding Software Watermarks in Loop Structures. [Citation Graph (, )][DBLP]
   
   
8. 
   Modelling Metamorphism by Abstract Interpretation. [Citation Graph (, )][DBLP]
   
   
9. 
   Barrier Slicing for Remote Software Trusting. [Citation Graph (, )][DBLP]
   
   
10. 
    Trading-off security and performance in barrier slicing for remote software entrusting. [Citation Graph (, )][DBLP]