HCSS '03

file

Visible to the public vFaat: von Neumann Formal Analysis and Annotation Tool

Submitted by TimTh on Mon, 09/12/2011 - 1:45pm. Contributors:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Design Patterns in Protocol Derivation

Submitted by Dusko P on Mon, 09/12/2011 - 1:43pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Code Generation for High-Assurance Java Card Applets

Submitted by TimTh on Mon, 09/12/2011 - 1:37pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Correctness by Construction of High-Integrity Software

Submitted by rod_chapman on Mon, 09/12/2011 - 1:35pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Organically Assured and Survivable Information Systems

Submitted by TimTh on Mon, 09/12/2011 - 12:23pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Cryptol on FPGAs

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

Presented as part of the 2003 HCSS conference.