Industry

The document was issued by industry or industrial organization.
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 Tutorial: Overview and Elements

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

Visible to the public Secure Agents

Submitted by Carolyn.Talcott on Mon, 09/12/2011 - 1:24pm. Contributors:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Embedded Deduction with ICS

Submitted by John Rushby on Mon, 09/12/2011 - 1:10pm. Contributors:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Trustworthy Refinement through Intrusion-Aware Design (TRIAD)

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

Presented as part of the 2003 HCSS conference.

file

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

Submitted by TimTh on Mon, 09/12/2011 - 12: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 - 12: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 - 12:37pm. Contributor:

Presented as part of the 2003 HCSS conference.