Kestrel Institute

file

Visible to the public Specware

Submitted by TimTh on Thu, 02/09/2012 - 3:54pm. Contributor:

Presented as part of the 2001 HCSS conference.

file

Visible to the public Synthesis of a Complex Software Vulnerability Analyzer (SVA)

Submitted by brad_martin on Tue, 09/13/2011 - 5:30pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Towards Evolving Specs of Security Protocols

Submitted by Dusko P on Tue, 09/13/2011 - 5:26pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public High-Assurance Java Card

Submitted by brad_martin on Tue, 09/13/2011 - 5:24pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Design Patterns in Protocol Derivation

Submitted by Dusko P on Mon, 09/12/2011 - 1:43pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Code Generation for High-Assurance Java Card Applets

Submitted by TimTh on Mon, 09/12/2011 - 1:37pm. Contributor:

Presented as part of the 2003 HCSS conference.

file

Visible to the public Protocol Derivation Assistant

Submitted by Dusko P on Wed, 08/24/2011 - 9:23am. Contributor:

Presented as part of the 2005 HCSS conference.