Abstract interpretation-based formal description of data obfuscation | IEEE Conference Publication | IEEE Xplore