HCSS '07

file

Visible to the public TSE and Applications

Submitted by TimTh on Tue, 02/07/2012 - 10:44pm. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

This tutorial will discuss the architecture and implementation of the Trusted Services Engine (TSE) as well as a set of applications built on top of the TSE.

file

Visible to the public The Verified Software Initiative

Submitted by Natarajan Shankar on Mon, 02/06/2012 - 5:18pm. Contributor:

Presented as part of the 2007 HCSS conference.

file

Visible to the public The Haskell Lightweight VM

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

Presented as part of the 2007 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 Turnstile: A High-Assurance Cross Domain Platform

Submitted by raze on Mon, 02/06/2012 - 5:07pm. 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 Trust Relationships

Submitted by TimTh on Mon, 02/06/2012 - 5:01pm. Contributors:

Presented as part of the 2007 HCSS conference.

file

Visible to the public Formal Methods Anecdotes: Worse Is Better!

Submitted by TimTh on Mon, 02/06/2012 - 4:55pm. Contributors:

Presented as part of the 2007 HCSS conference.

Abstract

HCSS is usually focused on the best of mathematically sound methods and models. In this talk, we celebrate unsound, incomplete, or incorrect models, methods, and tools. We will argue that these can be highly beneficial, are more widely usable, and may facilitate the adoption of formal methods.

file

Visible to the public Static Analysis for High Assurance and Security

Submitted by TimTh on Mon, 02/06/2012 - 4:51pm. Contributor:

Presented as part of the 2007 HCSS conference.