HCSS '02

file

Visible to the public Reliability Testing of COTS Security-based Software Applications

Submitted by adyson on Mon, 02/20/2012 - 3:47pm. Contributor:
  • 208.67 KB
  • 0 views
  • 103 downloads
  • Download
file

Visible to the public A High-Confidence Broker of Security Services

Submitted by adyson on Mon, 02/20/2012 - 3:45pm. Contributor:
  • 103.68 KB
  • 0 views
  • 80 downloads
  • Download
file

Visible to the public Programatica: Project Summary

Submitted by adyson on Mon, 02/20/2012 - 3:37pm. Contributor:
  • 73.36 KB
  • 0 views
  • 62 downloads
  • Download
file

Visible to the public Cryptol: A Domain Specific Language for Cryptography

Submitted by adyson on Wed, 02/15/2012 - 5:55pm. Contributor:
file

Visible to the public The Mechanically Verified Stack Challenge

Submitted by adyson on Wed, 02/15/2012 - 5:46pm. Contributor:
  • 525.49 KB
  • 0 views
  • 54 downloads
  • Download