We study the existence and the characterization of function transformers that minimally or maximally modify a function in order to reveal or conceal a certain property. Based on this general formal framework we develop a strategy for the design of the maximal obfuscating transformation that conceals a given property while revealing the desired observational behaviour. © 2013 Springer-Verlag.
CITATION STYLE
Dalla Preda, M., Mastroeni, I., & Giacobazzi, R. (2013). A formal framework for property-driven obfuscation strategies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8070 LNCS, pp. 133–144). https://doi.org/10.1007/978-3-642-40164-0_15
Mendeley helps you to discover research relevant for your work.