HCSS '02

file

Visible to the public Verifying a Separation Kernel for a Cryptographic Device: A Status Report

Submitted by Connie Heitmeyer on Tue, 09/13/2011 - 4:45pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Practical Model Checking

Submitted by brad_martin on Tue, 09/13/2011 - 4:36pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public The SLAM Project: Debugging System Software via Static Analysis

Submitted by brad_martin on Tue, 09/13/2011 - 4:32pm. Contributors:

Presented as part of the 2002 HCSS conference.

file

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

Submitted by brad_martin on Tue, 09/13/2011 - 4: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 - 4: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 - 4:24pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public GemClassifier, a Formally Developed Smart Card

Submitted by TimTh on Tue, 09/13/2011 - 4:21pm. Contributor:

Presented as part of the 2002 HCSS conference.

file

Visible to the public Cryptol: A Domain Specific Language for Cryptography

Submitted by TimTh on Tue, 09/13/2011 - 4:16pm. Contributor:
file

Visible to the public A High-Confidence Broker of Security Services

Submitted by brad_martin on Mon, 09/12/2011 - 2:14pm. Contributor:

Presented as part of the 2002 HCSS conference.