Academia

The document was issued by academy or academy organization.
file

Visible to the public Formal Models of AIM

Submitted by Launchbury on Thu, 02/09/2012 - 1:43pm. Contributor:
file

Visible to the public Advanced Infosec Machine Model and DSLs

Submitted by Launchbury on Thu, 02/09/2012 - 1:35pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public Justifiable Confidence? Making Software Dependable

Submitted by TimTh on Mon, 02/06/2012 - 5:10pm. Contributor:

Presented as part of the 2007 HCSS conference.

file

Visible to the public Manifest Safety and Security

Submitted by TimTh on Mon, 02/06/2012 - 5:04pm. Contributor:

Presented as part of the 2007 HCSS conference.

file

Visible to the public Circuit Specification, Abstraction, and Reverse Engineering

Submitted by TimTh on Thu, 02/02/2012 - 11:08am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

file

Visible to the public ARM Verification

Submitted by TimTh on Thu, 02/02/2012 - 11:02am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract