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 based on Dynamic Symbolic Execution (DSE) shows very promising results, hence threatening software integrity. Current defenses are not fully satisfactory, being either not efficient against symbolic reasoning, or affecting runtime performance too much, or being too easy to spot. We present and study a new class of anti-DSE protections coined as path-oriented protections targeting the weakest spot of DSE, namely path exploration. We propose a lightweight, efficient, resistant and analytically proved class of obfuscation algorithms designed to hinder DSE-based attacks. Extensive evaluation demonstrates that these approaches critically counter symbolic deobfuscation while yielding only a very slight overhead.

after long discussion on the amount of the overall 2021-2027 budget, and a last minute top-up of €4 billion for Horizon Europe thanks to the actions of the European Parliament. The new European research and innovation programme will have a budget of €95.5 billion for 2021-2027. The European Parliament and the Council also reached a deal on EU4Health, the new European Health programme with a budget of €5.1 billion. Horizon Europe is followingHorizon 2020 and keep a similar overall structure, continuing to support its main subprogrammes, but certain distinct changes are present (Table 1). 1 Pillars and clustersThe Pillar 1, named 'Excellent Science' consists of the prestigious European Research Council (ERC) grants, the Marie Slodowska-Curie Actions (MSCA), and the Research Infrastructures. The ERC grants enable outstanding researchers, at every career level, to carry out

No abstract

No abstract