Software Assurance            Software Hardening            Autonomic Computing
CodeSonar for JIRA (Plugin)

I'm pleased to inform the masses of our new integration plugin designed to work with CodeSonar and Atlassian JIRA Server...

Static Analysis, Safety-Critical Railway Software, and EN 50128

INTRODUCTION:

Transportation systems and, in particular, railway systems, are growing markets that increasingly rely on...

The Human Internet of Things (HIoT)

Being in the marketing department at a cyber-security research firm, I'm often struck by how little the average person...

Understanding DARPA's Cyber Grand Challenge: Laundromat Edition

Team TechX won second place in the DARPA Cyber Grand Challenge (CGC) last week. TechX is a collaboration between GrammaTech...

Using Static Analysis to Improve IIoT Device Security

INTRODUCTION:

The Industrial Internet of Things is unique in that devices that compose industrial control systems are often...