Software Assurance            Software Hardening            Autonomic Computing
Don’t trust any input! Prevent vulnerabilities from becoming exploits with tainted data analysis

INTRODUCTION:

One of the most common attack vectors is user (or other) input into a system. It's very risky to...

How Static Analysis Improves Safety and Security for Multicore Platforms

INTRODUCTION:

Multicore processors are ubiquitous in embedded devices but still pose a challenge for developing...

An Ounce of Prevention: Software hardening for securing IoT devices

INTRODUCTION:

Every IoT and embedded device manufacturer endeavors to field secure and safe products. However, even with the...

Improving Quality and Security with Binary Analysis

INTRODUCTION:

Companies serious about quality, safety, and security need to manage the risks in their supply chain, including...

How Software Quality Threatens the Success of the Internet of Things

The Nest is a highly innovative, electronic smart home thermostat manufactured by Alphabet (formerly Google). It is by all...