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 …

SMT solvers are fundamental tools for reasoning about constraints in practical problems like
symbolic execution and program synthesis. Faster SMT solving can improve the …

We seek to ease the design of congestion control algorithms (CCAs) that provably perform
well under diverse network scenarios including, cellular links, policers, token bucket filters …

As an efficient and multi-platform scripting language, Lua is gaining increasing popularity in
the industry. Unfortunately, Lua's unique advantages also catch cybercriminals' attention. A …

Mixed Boolean Arithmetic (MBA) obfuscation transforms a program expression into an
equivalent but complex expression that is hard to understand. MBA obfuscation has been …

Mixed Boolean-Arithmetic (MBA) expressions are frequently used for obfuscation. As they
combine arithmetic as well as Boolean operations, neither arithmetic laws nor transformation …

Containers are ubiquitous data structures that support a variety of manipulations on the
elements, inducing the indirect value flows in the program. Tracking value flows through …

Malware code often resorts to various self-protection techniques to complicate analysis. One
such technique is applying Mixed-Boolean Arithmetic (MBA) expressions as a way to create …

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 …

SMT solvers are foundational tools for reasoning about constraints in practical problems
both within and outside program analysis. Faster SMT solving improves the performance of …