Emerging Cloud computing infrastructures provide computing resources on demand based
on postpaid principles. For example, the RESERVOIR project develops an infrastructure …

Nowadays, one of the most effective ways to identify software vulnerabilities by testing is the
use of fuzzing, whereby the robustness of software is tested against invalid inputs that play …

Fuzzing uncovers an ever-growing number of critical vulnerabilities. Despite the simple
concept—execute the target until it crashes—setting up fuzz tests can pose complex …

Memory-safety issues in operating systems and popular applications are still top security
threats. As one widely exploited vulnerability, Use After Free (UAF) resulted in hundreds of …

This paper discussed why academic research has failed to create effective vulnerability
detection software and offer some suggestions on how we can reap practical benefits from …

An automated method for exploit generation is presented. This method allows one to
construct exploits for stack buffer overflow vulnerabilities and to prioritize software bugs. The …

This paper presents a new framework for adaptive temporal filtering in wavelet interframe
codecs, called the unconstrained motion compensated temporal filtering (UMCTF). This …

An important component of software reliability is the assurance of certain security
guarantees, such as absence of low-level bugs that may result in code exploitation, for …

This paper introduces a static binary analysis tool called CrashFilter, which classifies the
crashes arisen during the test, according to the risk levels. It has advantages in accuracy …

Heap overflow is a common error of buffer overflow in Linux. The control flow of a program
may be hijacked when the program satisfies several specific conditions. The existing …