HCSS '02

file

Visible to the public Programatica: Project Summary

Submitted by brad_martin on Mon, 02/20/2012 - 3:37pm. Contributor:

Presented as part of the 2002 HCSS conference.

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 Foundations for Survivable Systems Engineering

Submitted by brad_martin on Wed, 02/15/2012 - 5:52pm. Contributors:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Secure Agent Architecture and Types

Submitted by lincoln on Wed, 02/15/2012 - 5:49pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public The Mechanically Verified Stack Challenge

Submitted by brad_martin on Wed, 02/15/2012 - 5:46pm. 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 Specification of AIM Crypto Engines

Submitted by Launchbury on Tue, 09/13/2011 - 5:51pm. Contributors:

Presented as part of the 2002 HCSS conference.