Presentation

file

Visible to the public Cryptol Tutorial

Submitted by Launchbury on Wed, 08/24/2011 - 7: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 - 7:38pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Formal Derivation of Security Protocols

Submitted by anupamdatta on Wed, 08/24/2011 - 7:35pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Security by Construction - Engineering Software to Exceed EAL5

Submitted by TimTh on Wed, 08/24/2011 - 7:31pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Modelling Key Distribution, Art to Science

Submitted by TimTh on Wed, 08/24/2011 - 7:27pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Ad Hoc Data: An Opportunity for Domain-Specific Languages

Submitted by kathleen.fisher on Wed, 08/24/2011 - 7:08pm. Contributor:

Presented as part of the 2004 HCSS conference.