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
Authors: Jonathan Aldrich
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.