Digital Library

Topics: Secure Coding

In this paper, the authors compare Cilk Plus and OpenMP to evaluate the design tradeoffs in the usability and security of these two approaches.

Topics: Cybersecurity Engineering

In this presentation, Jonathan Aldrich describes the benefits of static analysis technology and how it complements techniques like testing and inspection.

Topics: Software Architecture

This report describes a technique that uses automatically generated runtime observations of an executing system to construct an architectural view of the system.