Galois

file

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

Submitted by TimTh on Tue, 09/13/2011 - 4:16pm. Contributor:
file

Visible to the public Cryptol Tutorial: Worked Example

Submitted by Launchbury on Mon, 09/12/2011 - 2:05pm. Contributor:

See also: Cryptol Tutorial, Overview and Elements

file

Visible to the public Cryptol on FPGAs

Submitted by Launchbury on Sat, 09/10/2011 - 4:20pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Trusted Web Server

Submitted by Launchbury on Wed, 08/24/2011 - 6:45pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Cryptol Tutorial

Submitted by Launchbury on Wed, 08/24/2011 - 6:42pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Designing and Testing a High Assurance ASN.1 Compiler

Submitted by TimTh on Wed, 08/24/2011 - 6:38pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Cryptol Technologies

Submitted by TimTh on Wed, 08/24/2011 - 8:27am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public A Business Case for FP

Submitted by Launchbury on Wed, 08/24/2011 - 7:21am. Contributor:

Presented as part of the 2005 HCSS conference.