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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Noam Zeilberger
October 2007 - Presentation Model-Driven Construction of Certified Binaries

Authors: Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

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

Authors: Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

In this report, the authors present an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.