dblp.uni-trier.dewww.uni-trier.de

Mila Dalla Preda Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEMariano Ceccato, Paolo Tonella, Mila Dalla Preda, Anirban Majumdar: Remote software protection by orthogonal client replacement. SAC 2009: 448-455
9EEMariano 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
8EEMila Dalla Preda, Roberto Giacobazzi, Enrico Visentini: Hiding Software Watermarks in Loop Structures. SAS 2008: 174-188
7EEMila 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
6EEMila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. POPL 2007: 377-388
5EEMariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella: Barrier Slicing for Remote Software Trusting. SCAM 2007: 27-36
2006
4EEMila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi: Opaque Predicates Detection by Abstract Interpretation. AMAST 2006: 81-95
2005
3EEMila Dalla Preda, Roberto Giacobazzi: Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP 2005: 1325-1336
2EEMila Dalla Preda, Roberto Giacobazzi: Control Code Obfuscation by Abstract Interpretation. SEFM 2005: 301-310
2004
1EEMila Dalla Preda: Completeness Refinement in Abstract Symbolic Trajectory Evaluation. SAS 2004: 38-52

Coauthor Index

1Koen De Bosschere (Koenraad De Bosschere) [4]
2Mariano Ceccato [5] [9] [10]
3Mihai Christodorescu [6] [7]
4Christian S. Collberg [5] [9]
5Saumya K. Debray [6] [7]
6Roberto Giacobazzi [2] [3] [4] [8]
7Somesh Jha [6] [7]
8Matias Madou [4]
9Anirban Majumdar [10]
10Jasvir Nagra [5] [9]
11Paolo Tonella [5] [9] [10]
12Enrico Visentini [8]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)