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

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

The fourth annual HCSS Conference was held April 13-15, 2014. The program agenda and slide presentations are listed below.

  • Cryptol Tutorial
  • Programatica Tutorial
  • Trust Engineering with Cryptographic Protocols
  • Static Driver Verifier: Finding Device Driver Bugs at Compile-time
  • Flexible Formal Methods for High Assurance: The Maude Experience
  • High Confidence Software and Systems: A Rockwell Collins Perspective
  • Theorem Provers as High Assurance Programming Environments
  • Usage of Intermediate Java Byte Code to Verify Wireless Java Applications
  • Formally Verified Encryption of High-Level Datatypes: An Application of Polytypism
  • Ad Hoc Data: An Opportunity for Domain-Specific Languages
  • Transparency: An Application Context for High Confidence Software and Systems (HCSS) Tools and Methods
  • Modelling Key Distribution, Art to Science
  • Trusted Web Server
  • Security by Construction - Engineering Software to Exceed EAL5
  • Synthesis of Provably Correct Java Card Applets and Platform
  • Formal Derivation of Security Protocols
  • Designing and Testing a High Assurance ASN.1 Compiler
Cryptol Tutorial ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO