The Fracture Project
Technical Report,01 Aug 2012,31 May 2017
The Charles Stark Draper Laboratory, Inc. Cambridge United States
Pagination or Media Count:
This report describes research and testing carried out as the voice of the offense in the HACMS program, ensuring that the development and verification tasks undertaken by the Blue Teams focused on preventing realistic attacks on the demonstration systems. To this end, this effort a conducted extensive penetration testing of original and secured demonstration platforms and b developed novel formal methods-based tools to directly analyze software produced by Blue Team performers. This report describes how this approach resulted in the detection of numerous vulnerabilities over the course of the program and explains the research contributions made by the formal methods team in the development of a collection of new static analysis tools.
- Computer Systems Management and Standards