Presentation

file

Visible to the public The Recent Trend to Assurance Cases – Pros and Cons

Submitted by pjoannou on Sun, 09/25/2011 - 10:52am. Contributor:
file

Visible to the public 6th SCC Workshop Introduction

Submitted by pjoannou on Sun, 09/25/2011 - 10:47am. Contributor:
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.

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 - 5: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 - 5: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 - 5: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 - 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 GemClassifier, a Formally Developed Smart Card

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

Presented as part of the 2002 HCSS conference.