Research Papers

Journals

M. Dalla Preda and R. Giacobazzi. Semantics-based Code Obfuscation by Abstract Interpretation, Journal of Computer Security, volume 17, number 6, pages 855-908, 2009.
Available: PDF Bibtex

M. Ceccato, M. Dalla Preda, J. Nagra, C. Collberg and P. Tonella. Trading-off Security and Performance in Barrier Slicing for Remote Software Entrusting. Special issue of Springer's Journal of Automated Software Engineering, volume 16, number 2, pages 235-261.
Available: PDF  Bibtex

M. Dalla Preda, M. Christodorescu, S. Jha and S. Debray. A Semantics-Based Approach to Malware Detection.  ACM Transactions on Programming Languages and Systems, volume 30, number 5, pages 1-54, 2008.
Available: PDF   BibTex



International Conferences

M. Dalla Preda, C. Di Giusto. Hunting distributed malware with the k-calculus. To appear in 18th International Symposium on Fundamentals of Computation Theory  (FCT'11).
Available: PDF   Bibtex

M. Dalla Preda, R.Giacobazzi, S. Debray, K. Coogan, and G. Townsend. Modelling Metamorphism by Abstract Interpretation. Proceedings of the 17th International Static Analysis Symposium (SAS'10). Volume 6337 of Lecture Notes in Computer Science, pages 218-235. Springer-Verlag, September 2010, Perpignan, France.
Available: PDF    Bibtex

M. Ceccato, M. Dalla Preda, A. Majumdar, P. Tonella. Remote software protection by orthogonal client replacement.  In D. Shin, editor, Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09-SE track), pages 448-455, ACM SIGAPP press, March 2009.
Available: PDF  Bibtex

M. Dalla Preda, R. Giacobazzi, E. Visentini.  Hiding Software Watermarks in Loop Structures. In M. Alpuente and G. Visal, editors, Proceedings of the 15th International Static Analysis Symposium (SAS'08). Volume 5079 of Lecture Notes in Computer Science, pages 174-188. Springer-Verlag, July 2008, Valencia, Spain.
Available: PDF   Slides  BibTex

M. Ceccato, M. Dalla Preda, J. Nagra, C. Collberg, P. Tonella. Barrier Slicing for Remote Software Trusting.  In Proceedings of the 7th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'07), pages 27-36, IEEE Computer Society Press. October 2007, Paris, France.
Available: PDF   BibTex

 M. Dalla Preda, M. Christodorescu, S. Jha and S. Debray. A Semantics-Based Approach to Malware Detection. In M. Hofmann and M. Felleisen, editors, Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07), pages 377-388. ACM press. Nice, France, January 2007.
Available: PDF  Slides  BibTex

M. Dalla Preda. Hunting Obfuscated Malware by Abstract Interpretation. Doctoral Symposium of  the 14th International Symposium on Formal Methods (FM'06). August 2006, Hamilton, Canada.
Available: PDF  Slides  BibTex

 M. Dalla Preda, M. Madou, K. De Bosschere and R. Giacobazzi. Opaque Predicate Detection by Abstract Interpretation. In M. Johnson and V. Vene, editors, Proceedings of the 11th International Conference on Algebriac Methodology and Software Technology (AMAST'06).  Volume 4019 of Lecture Notes in Computer Science, pages 81-95, Springer-Verlag. July 2006, Kuressaare, Estonia.
Available: Slides  PDF  BibTex

 M. Dalla Preda and R. Giacobazzi. Control Code Obfuscation by Abstract Interpretation. In B. K. Aichernig and B. Beckert, editors, Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). pages 301-310, IEEE Computer Society  Press.  September 2005, Koblenz, Germany.
Available: Slides  PDF BibTex

M. Dalla Preda and R. Giacobazzi. Semantics-based Code Obfuscation by Abstract Interpretation. In, L. Caires, G Italiano, L. Monteiro, C. Palamidessi and M. Yung, editors, Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05 - Track B). Volume 3580 of Lecture Notes in Computer Science, pages 1325-1336, Springer-Verlag. July 2005, Lisboa, Portugal.
Available: Slides  PDF   BibTex

 M. Dalla Preda. Completeness Refinement in Abstract Symbolic Trajectory Evaluation. In, R. Giacobazzi, editor,  Proceedings of the 11th Static Analysis Symposium  (SAS'04). Volume 3148 of Lecture Notes in Computer Science, pages 38-52. Springer, August 2004, Verona, Italy.
Available: PDF  Slides  BibTex


Ph.D. Thesis

M. Dalla Preda. Code Obfuscation and Malware Detection by Abstract Interpretation. Dipartimento di Informatica, Universita' di Verona, TD-02-07, 2007.
 
Awards  
On August 2006 the thesis received the QinetiQ Award for research  with strong practical applications, awarded in the context of the thesis accepted for submission at the Doctoral Symposium associated to the 14th International Symposium on Formal Methods 2006. Pdf.

On October 2007 the thesis was awarded a special mention from the IC-EATCS, the Italian Chapter of the Europesn Association for Theoretical Computer Science.  



Copyright Notice

The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


Home Page