Accession Number : AD1005651

Title :   Kevlar: Transitioning Helix for Research to Practice

Descriptive Note : Technical Report,01 Feb 2015,30 Sep 2015

Corporate Author : UNIVERSITY OF VIRGINIA Charlottesville United States

Personal Author(s) : Davison,Jack W ; Knight,John C ; Co,Michele ; Hiser,Jason D ; Nguyen-Tuong,Anh

Full Text :

Report Date : 01 Mar 2016

Pagination or Media Count : 40

Abstract : Security weaknesses in DoD information systems remain a major challenge for system stakeholders. We have advanced technology transition for technology developed under the Helix and PEASOUP projects to protect Air Force systems of interests. The result is an asset that, if widely deployed by the DoD, would enable a high level of confidence in the security of DoD systems, in particular, confidence that certain classes of critical vulnerabilities were no longer subject to possible exploitation. Our technology, called Kevlar, includes key security technologies are protective transformations and targeted recovery. The protective transformations are applied to application binaries before they are deployed. Salient features of Kevlar include applying high-entropy randomization techniques, automated program repairs leveraging highly-optimized virtual machine technology, and developing a novel framework for program analysis, transformation and composition

Descriptors :   computer security , COMPUTER SECURITY TECHNIQUES , Binary notation , computing system architectures , Information systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE