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 2003 HCSS Conference Proceedings

  • View
Submitted by Katie Dey on Wed, 12/04/2013 - 4:18pm

The third annual HCSS Conference was held April 1-3, 2003. The program agenda and slide presentations are listed below.

  • Introducing Cyberlogic
  • Embedded Deduction with ICS
  • Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell
  • vFaat: von Neumann Formal Analysis and Annotation Tool
  • Trustworthy Refinement through Intrusion-Aware Design (TRIAD)
  • Organically Assured and Survivable Information Systems
  • Secure Agents
  • Code Generation for High-Assurance Java Card Applets
  • Design Patterns in Protocol Derivation
  • Cryptyc: A Cryptographic Protocol Typechecker
  • Overview FAA IT & ISS R&D: Security Today Security Tomorrow
  • Secure Software from Design to Binary
  • Large Scale Separation Through Monads: The Oregon Separation Kernel
  • Correctness by Construction of High-Integrity Software
  • A High-Assurance Partitioned Development Environment
  • Cryptol on FPGAs
Introducing Cyberlogic ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO