Abstract
Software obfuscation appears to be a valuable asset for security through obscurity. It aims to scramble machine-language code so that it is difficult to understand and analyze. This scrambling can be carried out at various levels and applies to programs that have not been designed with security objectives in mind. Numerous scrambling strategies have been proposed in the literature. This talk will present some of them, and study the semantic correction of the most recent ones.