Galois

file

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

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

Presented as part of the 2002 HCSS conference.

file

Visible to the public Cryptol Tutorial, Overview and Elements

Submitted by Launchbury on Wed, 02/15/2012 - 5:18pm. Contributor:

Presented as part of the 2002 HCSS conference.

See also: Cryptol Tutorial, Worked Example

file

Visible to the public A Brief Introduction to Cryptol

Submitted by TimTh on Thu, 02/09/2012 - 3: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 - 3: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 - 2:30pm. Contributor:
file

Visible to the public Haskell CDSA Plan

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

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

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

Presented as part of the 2001 HCSS conference.

file

Visible to the public The Haskell Lightweight VM

Submitted by TimTh on Mon, 02/06/2012 - 6:13pm. Contributor:

Presented as part of the 2007 HCSS conference.

file

Visible to the public Trust Relationships

Submitted by TimTh on Mon, 02/06/2012 - 6:01pm. Contributors:

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 - 12:14pm. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract