Stephen Drape, Clark D. Thomborson, Anirban Majumdar. Specifying Imperative Data Obfuscations. In Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta, editors, Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings. Volume 4779 of Lecture Notes in Computer Science, pages 299-314, Springer, 2007. [doi]
Abstract is missing.