As one of the most popular software testing techniques, fuzzing can find a variety of
weaknesses in a program, such as software bugs and vulnerabilities, by generating …

Coverage-guided fuzzing is one of the most effective software security testing techniques.
Fuzzing takes on one of two forms: compiler-based or binary-only, depending on the …

Virtual switches are a crucial component of SDN-based cloud systems, enabling the
interconnection of virtual machines in a flexible and" software-defined" manner. This paper …

Static analysis is known to yield numerous false alarms when used in bug finding, especially
for complex vulnerabilities in large code bases like the Linux kernel. One important class of …

Pointer and taint analyses are the building blocks for several other static analysis
techniques. Unfortunately, these techniques frequently sacrifice precision in favor of …

Software Defined Networking (SDN) is established as a widely used concept in networks
and has been introduced into the network architecture of Industrial Internet of Things (IIoT) …

High assurance Cyber-Physical Systems (CPS) are the supporting pillars of the critical
infrastructure. They support the power grid, the water supply, transportation systems and …

Virtual switches are a crucial component of cloud operating systems that interconnect virtual
machines in a flexible manner. They implement complex network protocol parsing in the …

Security-sensitive functions are the basis for building a taint-style vulnerability model.
Current approaches for extracting security-sensitive functions either don't analyze data flow …

Abstract The Department of Homeland Security reports that over 90% of cyberattacks stem
from security vulnerabilities in software, costing the US $109 billion dollars in damages in …