A Formal Framework for Property-Driven Obfuscation Strategies.

Mila Dalla Preda Isabella Mastroeni Roberto Giacobazzi

Published in: FCT (2013)

Keyphrases

main contribution
database
computer vision
decision making
data structure
search algorithm
lightweight
formal model