HCSS '09

file

Visible to the public An Educational Program for Information System Security Engineers

Submitted by TimTh on Fri, 07/01/2011 - 9:46am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Automatic Reverse Engineering for Formal Verification

Submitted by TimTh on Fri, 07/01/2011 - 9:36am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Predicting Attack-prone Components

Submitted by TimTh on Fri, 07/01/2011 - 8:54am. Contributor:
file

Visible to the public An Introduction to Separation Logic

Submitted by TimTh on Fri, 07/01/2011 - 8:42am. Contributor: