5 papers
Statistical Effort Modelling of Game Resource Localisation Attacks
Alessandro Sanna, Waldo Verstraete, Leonardo Regano +2
Evidence on the effectiveness of Man-At-The-End (MATE) software protections, such as code obfuscation, has mainly come from limited empirical research. Recently, however, an automa…
Empirical Studies on Adversarial Reverse Engineering with Students
Tab, Zhang, Bjorn De Sutter +3
Empirical research in reverse engineering and software protection is crucial for evaluating the efficacy of methods designed to protect software against unauthorized access and tam…
E-Graphs as a Persistent Compiler Abstraction
Jules Merckx, Alexandre Lopoukhine, Samuel Coward +3
Recent algorithmic advances have made equality saturation an appealing technique for program optimization, avoiding the phase-ordering problem by separating the discovery of equiva…
Automatic Selection of Protections to Mitigate Risks Against Software Applications
Daniele Canavese, Leonardo Regano, Bjorn De Sutter +1
This paper introduces a novel approach for the automated selection of software protections to mitigate MATE risks against critical assets within software applications. We formalize…
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Jules Merckx, Alexandre Lopoukhine, Samuel Coward +3
With recent algorithmic improvements and easy-to-use libraries, equality saturation is being picked up for hardware design, program synthesis, theorem proving, program optimization…