Digital Library
Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.
October 2007 - Presentation
Model-Driven Construction of Certified Binaries
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.
September 2007 - Technical Report
Certified Binaries for Software Components
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.
July 2007 - Technical Report
Results of SEI Independent Research and Development Projects (FY 2006)
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).