Sagar Chaki and others describe in this presentation an implementation of the approach that targets the Pin component technology, and presents experimental results on a collection of benchmarks.
Topics: Software Assurance
In this report, the authors present an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.
Authors: Christopher J. Alberts, Eileen C. Forrester, Suzanne Garcia-Miller, Aaron Greenhouse, Jörgen Hansson (University of Skovde), James D. Herbsleb, James Ivers, Peter Lee, Richard C. Linger (Oak Ridge National Laboratory), Thomas A. Longstaff, Pratyusa K. Manadhata, William Anderson, B. Craig Meyers, Mike Phillips, Carol A. Sledge, James Smith, Kurt C. Wallnau, Gwendolyn H. Walton, J. Wing, Noam Zeilberger, Len Bass, Matt Bass, Philip J. Boxer, Lisa Brownsword, Sagar Chaki, Peter H. Feiler, David Fisher
This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).