The first international Competition on Runtime Verification (CRV) was held in September
2014, in Toronto, Canada, as a satellite event of the 14th international conference on …

The complexity of modern software systems, the integration of several software components,
and the increasing exposure to public networks make systems more susceptible to cyber …

Integer overflow and underflow, signedness conversion, and other types of arithmetic errors
in C/C++ programs are among the most common software flaws that result in exploitable …

The Information Technology industry heavily relies on the cloud computing paradigm for
large-scale infrastructures, and more military and critical infrastructure systems are moving …

Flaw-finding static analysis tools typically generate large volumes of code flaw alerts
including many false positives. To save on human effort to triage these alerts, a significant …

Unexpected interactions of linguistic elements of software often produce unexpected
composable computational artifacts called weird machines. Using the RPM package …

Ensuring that exploitable vulnerabilities do not exist in a piece of software written using type-
unsafe languages (eg, C/C++) is still a challenging, largely unsolved problem. Current …

Abstract Data Flow Tracking (DFT) is a technique broadly used in a variety of security
applications such as attack detection, privacy leak detection, and policy enforcement …

Open source software is becoming a strong alternative to private development for a wide
market of applications. There is a stigma against using open source software in the private …