Man-at-the-end (MATE) attackers have full control over the system on which the attacked
software runs, and try to break the confidentiality or integrity of assets embedded in the …

When a human activity requires a lot of expertise and very specialized cognitive skills that
are poorly understood by the general population, it is often consideredan art.'Different …

Imprecision is inherent in any decidable (sound) approximation of undecidable program
properties. In abstract interpretation this corresponds to the release of false alarms, eg, when …

Offensive security-tests are commonly employed to pro-actively discover potential
vulnerabilities. They are performed by specialists, also known as penetration-testers or white …

Code obfuscation is a major tool for protecting software intellectual property from attacks
such as reverse engineering or code tampering. Yet, recently proposed (automated) attacks …

Android apps are subject to malicious reverse engineering and code tampering for many
reasons, like premium features unlocking and malware piggybacking. Scientific literature …

Software protection techniques are used to protect valuable software assets against man-at-
the-end attacks. Those attacks include reverse engineering to steal confidential assets, and …

Software reverse engineering is a challenging and time consuming task. With the growing
demand for reverse engineering in vulnerability discovery and malware analysis, manual …

The last years have seen an increase in Man-at-the-End (MATE) attacks against software
applications, both in number and severity. However, software protection, which aims at …

In program analysis by abstract interpretation, backward-completeness represents no loss of
precision between the result of the analysis and the abstraction of the concrete execution …