HCSS 2001

file

Visible to the public Specware

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

Presented as part of the 2001 HCSS conference.

file

Visible to the public To Trust or Not to Trust, That is the Question?

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

Visible to the public Trusting Software

Submitted by TimTh on Thu, 02/09/2012 - 2:33pm. 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 Formal Models of AIM

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

Visible to the public Advanced Infosec Machine Model and DSLs

Submitted by Launchbury on Thu, 02/09/2012 - 1:35pm. 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: