In the era of the internet of things (IoT), software-enabled inter-connected devices are of
paramount importance. The embedded systems are very frequently used in both security …

The identification of security-critical vulnerabilities is a key for protecting computer systems.
Being able to perform this process at the binary level is very important given that many …

With the general availability of closed-source software for various CPU architectures, there is
a need to identify security-critical vulnerabilities at the binary level to perform a vulnerability …

Software vulnerabilities are the fundamental cause of many attacks. Even with rapid
vulnerability patching, the problem is more complicated than it looks. One reason is that …

IoT and Embedded devices grow at an exponential rate, however, without adequate security
mechanisms in place. One of the key challenges in the cyber world is the security of these …

Taint-style vulnerabilities are a persistent problem in software development, as the recently
discovered" Heart bleed" vulnerability strikingly illustrates. In this class of vulnerabilities …

Internet of Things (IoT) terminals have firmware with heterogeneous, closed-source, and
heavy business but light security characteristics, whereas on the edge, there are limited …

Access control vulnerabilities due to programming errors have consistently ranked amongst
top software vulnerabilities. Previous research efforts have concentrated on using automatic …

In this paper we present an approach for identifying near-miss interaction clones in reverse-
engineered UML behavioural models. Our goal is to identify patterns of interaction …

Privilege Escalation is a common and serious type of security attack. Although experience
shows that many applications are vulnerable to such attacks, attackers rarely succeed upon …