research
∙
10/24/2022
Scalable Program Clone Search Through Spectral Analysis
We consider the problem of program clone search, i.e. given a target pro...
share
research
∙
08/31/2022
Complete and tractable machine-independent characterizations of second-order polytime
The class of Basic Feasible Functionals BFF is the second-order counterp...
research
∙
02/23/2021
A tier-based typed programming language characterizing Feasible Functionals
The class of Basic Feasible Functionals BFF_2 is the type-2 counterpart ...
research
∙
08/05/2019
How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections
Code obfuscation is a major tool for protecting software intellectual pr...
research
∙
02/09/2018