Oregon Graduate Institute

file

Visible to the public Formal Models of AIM

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

Visible to the public Advanced Infosec Machine Model and DSLs

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

Presented as part of the 2001 HCSS conference.

file

Visible to the public Krenz Security Architecture

Submitted by brad_martin on Wed, 02/08/2012 - 10:18pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public Programatica: The Early Years — A Personal Recollection

Submitted by brad_martin on Wed, 02/08/2012 - 10:16pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public Specification of AIM Crypto Engines

Submitted by Launchbury on Tue, 09/13/2011 - 5:51pm. Contributors:

Presented as part of the 2002 HCSS conference.