Academia

The document was issued by academy or academy organization.
file

Visible to the public Direct Software Assurance

Submitted by scherlis on Wed, 08/24/2011 - 7:22am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Formalized Elliptic Curve Cryptography

Submitted by TimTh on Tue, 08/23/2011 - 9:29am. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public Defect Density Estimation Through Verification and Validation

Submitted by TimTh on Tue, 08/23/2011 - 9:28am. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public Buyer/Seller Approach to Validation Assurance

Submitted by TimTh on Tue, 08/23/2011 - 9:17am. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public Computer Security Education: Are we there yet?

Submitted by TimTh on Tue, 08/23/2011 - 9:10am. Contributor:

Presented as part of the 2006 HCSS conference.

file

Visible to the public Verified Software: The Next Steps

Submitted by TimTh on Mon, 08/22/2011 - 2:02pm. Contributor:

Presented as part of the 2006 HCSS conference.