Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Noam Zeilberger
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.