HCSS '09

file

Visible to the public Discovery of Vulnerabilities in Binary Code

Submitted by TimTh on Thu, 06/30/2011 - 10:27am. Contributor:
file

Visible to the public Equivalence Checking using Cryptol

Submitted by weaversa on Thu, 06/30/2011 - 10:12am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Source Code Analysis Tool Evaluation

Submitted by TimTh on Thu, 06/30/2011 - 10:10am. Contributor:
file

Visible to the public Safety Certification Challenges for Future Air Force Systems

Submitted by TimTh on Thu, 06/30/2011 - 10:05am. Contributor:
file

Visible to the public BitBlaze: Binary Analysis for Computer Security

Submitted by TimTh on Thu, 06/30/2011 - 10:01am. Contributor:
file

Visible to the public Updatable Security Views

Submitted by TimTh on Thu, 06/30/2011 - 10:00am. Contributors:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Improving Undergraduate Programming Language Curriculum

Submitted by kathleen.fisher on Thu, 06/30/2011 - 8:33am. Contributor:

Presented as part of the 2009 HCSS conference.