Noam Zeilberger
Software Engineering Institute
Publications by Noam Zeilberger
-
Model-Driven Construction of Certified Binaries
October 05, 2007 • Presentation
Sagar ChakiJames IversPeter Lee
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.
read -
Certified Binaries for Software Components
September 01, 2007 • Technical Report
Sagar ChakiJames IversPeter Lee
In this report, the authors present an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.
read -
Results of SEI Independent Research and Development Projects (FY 2006)
July 01, 2007 • Technical Report
Christopher J. AlbertsEileen C. ForresterSuzanne Garcia-Miller
This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
read