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

Visible to the public 2010 HCSS Conference Proceedings

  • View
Submitted by Katie Dey on Wed, 12/11/2013 - 11:55am

The 10th annual HCSS Conference was held May 10-12, 2010. The program agenda and slide presentations are listed below.

  • L4.verified
  • The Next IDE: Informative Development Environment
  • Visualizing Information Flow through C Programs
  • VAST: Visualization of Attack Surface for Targeting
  • Using Java PathFinder for Program Understanding and Defect Visualization
  • Alchemy: Three Ways of Transmutating Programs into Circuits
  • Replacing Testing with Formal Verification in Intel® Core™ i7 Processor Execution Engine Validation
  • Centaur Verification Approach
  • Proof-Carrying Data Secure Computation on Untrusted Execution Platforms
  • Generating Implementations of Error Correcting Codes using Kansas Lava
  • Formal models of ARM processors in HOL
  • HWMAC: Hardware-Enforced Fine-Grained Policy-Driven Security
  • Shifting the Paradigm
  • Revolution through Competition
  • Virtual Organization for Cyber Physical Systems (CPS-VO): Goals, Plans and Actions
  • Security Systems Engineering
L4.verified ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO