Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi. A Formal Framework for Property-Driven Obfuscation Strategies. In Leszek Gasieniec, Frank Wolter, editors, Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings. Volume 8070 of Lecture Notes in Computer Science, pages 133-144, Springer, 2013. [doi]
Abstract is missing.