Context Static analysis exploits techniques that parse program source code or bytecode,
often traversing program paths to check some program properties. Static analysis …

Android malware has been in an increasing trend in recent years due to the pervasiveness
of Android operating system. Android malware is installed and run on the smartphones …

Hybrid testing combines fuzz testing and concolic execution. It leverages fuzz testing to test
easy-to-reach code regions and uses concolic execution to explore code blocks guarded by …

Android Malware detection became a hot topic over the last several years. Although
considerable studies have been conducted utilizing machine learning-based methods, little …

GPUs are progressively being integrated into modern society, playing a pivotal role in
Artificial Intelligence and High-Performance Computing. Programmers need a deep …

Security threats are escalating exponentially posing a serious challenge to mobile platforms,
specifically Android. In recent years the number of attacks has not only increased but each …

Static analysis tools have showcased their importance and usefulness in automated
detection of defects. However, the tools are known to generate a large number of alarms …

Android applications, or apps, provide useful features to end-users, but many apps also
contain malicious behavior. Modern malware makes understanding such behavior …

Existing directed fuzzers are not efficient enough. Directed symbolic-execution-based
whitebox fuzzers, eg BugRedux, spend lots of time on heavyweight program analysis and …

In the past, researchers have developed a number of popular taint-analysis approaches,
particularly in the context of Android applications. Numerous studies have shown that …