Galois

file

Visible to the public Analyzing a Cross-domain Component: Lessons Learned and Future Directions

Submitted by TimTh on Tue, 08/16/2011 - 8:37pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Software Development in Haskell

Submitted by Launchbury on Tue, 08/16/2011 - 4:45pm. Contributor:

Presented as part of the 2008 HCSS conference.

file

Visible to the public Automated Security Analysis: Tool Support for Evaluating C Code

Submitted by TimTh on Fri, 07/01/2011 - 8:52am. Contributors:

Presented as part of the 2009 HCSS conference.