{'fraction_non_alphanumeric': 0.022222222222222223, 'fraction_numerical': 0.0, 'mean_word_length': 6.226415094339623, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Abstract interpretation-based formal description of data obfuscation

This paper presents an abstract interpretation-based formal description of data obfuscation, which makes it possible to formally analyze and certify not only the correctness but also the potency of data obfuscating transformations. First, a semantic data obfuscating transformation is given, which is expressed as an abstract interpretation of program semantics with a variable obfuscation function and a corresponding variable deobfuscation function. Then, the syntactic data obfuscating transformation is systematically derived by composition of source-to-semantics, semantics-to-data obfuscating transformed semantics and semantics-to-source abstractions applied to fix-point trace semantics.