Papers submitted to publication
  • M. Dalla Preda and M. Pasqua. Semantics-based Software Watermarking by Abstract Interpretation. November 2016

2018
2017
2016
  • M. Dalla Preda and V. Vidali. Abstract similarity analysis. 6th Numerical and Symbolic Abstract Domain Workshop (NSAD 2016), Electronic Notes in Theoretical Computer Science, Volume 331, pages 87-99.

  • M. Dalla Preda, R. Giacobazzi and I. Mastroeni. Completeness in Approximated Transductions. Proceeding of the 23rd Static Analysis Symposium (SAS 2016), Volume 9837 of Lecture Notes in Computer Science, pages 126 - 146. Springer-Verlag, September 2016, Edinburgh, UK.

2015
2014
  • M. Dalla Preda, S. Giallorenzo, I. Lanese, J. Mauro, M. Gabbrielli. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. Proceeding of the 7h International Conference on Software Language Engineering (Tool paper). Volume 8706 of Lecture Notes in Computer Science, pages 161-170, 2014.

  • M. Dalla Preda, I. Mastroeni, R. Giacobazzi. Analyzing program dependences for malware detection. Proceedings of the 3rd ACM SIGPLAN Workshop on Program Protection and Reverse Engineering (PPREW 2014), article no 6, January 2014, San Diego, CA, USA.

  • J. Todd McDonald, M. Dalla Preda (Eds.): Proceedings of the 4th ACM SIGPLAN Program Protection and Reverse Engineering Workshop (PPREW 2014). December 9th 2014, New Orleans, USA. ACM 2014, ISBN: 978-1-60558-637-3

2013

  • M. Dalla Preda, I. Mastroeni and R. Giacobazzi. Formal Framework for property-driven obfuscation. Proceedings of the 19th International Symposium of Fundamentals of Computer Theory (FCT 2013). Volume 8070 of Lecture Notes in Computer Science, pages 133-144, Springer. August 19-21 Liverpool, UK.

  • A. Lakhotia, M. Dalla Preda and R. Giacobazzi. Fast location of similar code fragments using semantic ‘Juice’. Proceedings of the 2nd ACM SIGPLAN Workshop on Program Protection and Reverse Engineering (PPREW 2013), January 2013, Rome, Italy.

  • J. Todd McDonald, M. Dalla Preda (Eds.): Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop (PPREW 2013). January 26th 2013, Rome, Italy. ACM 2013, ISBN: 978-1-4503-1857-0

  • M. Dalla Preda and I. Mastroeni. Chasing Infections by Unveiling Program Dependences. 1st International Workshop on Interference and Dependence (ID 2013). January 2013, Rome, Italy.

2012
  • M. Dalla Preda, M. Gabbrielli, C. Guidi, J. Mauro and F. Montesi. Service Integration via Target-Transparent Mediation. Proceeding of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2012), pages 1-5, IEEE Computer Society Press, December 2012, Taiwan.

  • M. Dalla Preda, M. Gabbrielli, C. Guidi, J. Mauro and F. Montesi. Interface-based service composition with aggregation. Proceedings of the European Conference on Service-Oriented and Cloud Computing (ESOCC 2012), Volume 7592 of Lecture Notes in Computer Science, pages 48-63, Springer-Verlag, September 2012, Bertinoro, Italy.

  • M. Dalla Preda. The Grand Challenge in Metamorphic Analysis. (Position Paper). Proceedings of the 6th International Conference on Information Systems, Technology and Management (ICISTM 2012). Volume 285 of Communications in Computer and Information Science, pages 439-444. Springer, March 2012, Grenoble, France.

  • M. Dalla Preda, W. Feng, R. Giacobazzi, R. Greechie and A. Lakhotia. Twisting Additivity in Program Obfuscation. Proceedings of the Workshop on Program Protection and Reverse Engineering (PPREW 2012). Volume 285 of Communications in Computer and Information Science, pages 336-347. Springer, March 2012, Grenoble, France.

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

2009
2008
  • M. Dalla Preda, M. Christodorescu, S. Jha and S. Debray. A Semantics-based Approach to Malware Detection. ACM Transactions on Programming Languages and Systems (TOPLAS), volume 30, number 5, pages 1-54, 2008.

  • M. Dalla Preda, R. Giacobazzi, E. Visentini. Hiding Software Watermarks in Loop Structures.  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.

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

  • M. Dalla Preda, M. Christodorescu, S. Jha and S. Debray. A Semantics-based Approach to Malware Detection. Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), pages 377-388. ACM press. Nice, France, January 2007.

2006
  • 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.

  • M. Dalla Preda, M. Madou, K. De Bosschere and R. Giacobazzi. Opaque Predicate Detection by Abstract Interpretation. Proceedings of the 11th International Conference on Algebriac Methodology and Software Technology (AMAST 2006).  Volume 4019 of Lecture Notes in Computer Science, pages 81-95, Springer-Verlag. July 2006, Kuressaare, Estonia.

2005
  • M. Dalla Preda and R. Giacobazzi. Control Code Obfuscation by Abstract Interpretation. Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), pages 301-310, IEEE Computer Society  Press.  September 2005, Koblenz, Germany.

  • M. Dalla Preda and R. Giacobazzi. Semantics-based Code Obfuscation by Abstract Interpretation. Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005). Volume 3580 of Lecture Notes in Computer Science, pages 1325-1336, Springer-Verlag. July 2005, Lisboa, Portugal.

2004

PhD Thesis

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 European 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.