Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
  • Home
  • Program Agenda
  • Call for Presentations
  • Committee
  • Virtual Venue
  • Past Events
  • Submit
  • Files
CPS-VO » High Confidence Software and Systems Conference Series

Visible to the public Centaur Verification Approach

  • View
  • Properties
Submitted by WarrenAHuntJr on Sun, 08/07/2011 - 4:32pm. Contributor:
  • Warren A. Hunt, Jr.
License: 
Creative Commons 2.5

Other available formats:

Centaur Verification Approach
Switch to normal viewerSwitch to experimental viewer
‹ Replacing Testing with Formal Verification in Intel® Core™ i7 Processor Execution Engine Validation up Proof-Carrying Data Secure Computation on Untrusted Execution Platforms ›
  • PDF document
  • 938.62 KB
  • 118 downloads
  • Download
  • Printer-friendly version
  • Centaur Technology
  • University of Texas
  • National HCSS Conference 2010
  • Industry
  • Presentation
  • HCSS '10
  • HCSS 2010

Terms of Use  |  ©2021. CPS-VO