Industry

The document was issued by industry or industrial organization.
file

Visible to the public Pragmatic Approaches with COTS

Submitted by brad_martin on Mon, 02/13/2012 - 4:48pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public A Brief Introduction to Cryptol

Submitted by TimTh on Thu, 02/09/2012 - 2:05pm. Contributor:
file

Visible to the public Cryptol: A Domain-Specific Language for Cryptographic Service Providers

Submitted by brad_martin on Thu, 02/09/2012 - 2:02pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public CDSA Initial Review

Submitted by TimTh on Thu, 02/09/2012 - 1:30pm. Contributor:
file

Visible to the public Haskell CDSA Plan

Submitted by adyson on Thu, 02/09/2012 - 1:16pm. Contributor:
file

Visible to the public Common Data Security Architecture (CDSA) Formal Development

Submitted by brad_martin on Thu, 02/09/2012 - 1:06pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public The Verified Software Initiative

Submitted by Natarajan Shankar on Mon, 02/06/2012 - 5:18pm. Contributor:

Presented as part of the 2007 HCSS conference.

file

Visible to the public Turnstile: A High-Assurance Cross Domain Platform

Submitted by raze on Mon, 02/06/2012 - 5:07pm. Contributor:

Presented as part of the 2007 HCSS conference.

file

Visible to the public Static Analysis for High Assurance and Security

Submitted by TimTh on Mon, 02/06/2012 - 4:51pm. Contributor:

Presented as part of the 2007 HCSS conference.

file

Visible to the public A Formal Semantics for ASN.1

Submitted by TimTh on Thu, 02/02/2012 - 11:14am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract