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 : https://apps.dtic.mil/dtic/tr/fulltext/u2/1005651.pdf


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