Presentation

file

Keynote Presentation: Making Sound Cyber Security Decisions Through a Quantitative Metrics Approach

Submitted by whs on Sat, 05/14/2011 - 5:26pm. Contributor:

Bill Sanders

file

Verifying Timing-Centric Software Systems

Submitted by TimTh on Sat, 05/14/2011 - 5:19pm. Contributor:

Sanjit Seshia

Presented as part of the 2011 HCSS conference.

file

Applying Formal Methods to Prove Correctness of Surgical Robot Software

Submitted by TimTh on Sat, 05/14/2011 - 5:03pm. Contributors:

Presented as part of the 2011 HCSS conference.

file

Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security

Submitted by pappasg on Sat, 05/14/2011 - 4:58pm. Contributor:

George Pappas

Presented as part of the 2011 HCSS conference.

file

Developing Secure Mobile Architectures: The COTS Challenge

Submitted by TimTh on Tue, 05/10/2011 - 8:24am. Contributor:

Adam Wick

Presented as part of the 2011 HCSS conference.

file

Let's Build Secure Systems on a Correct Kernel

Submitted by TimTh on Tue, 05/10/2011 - 8:18am. Contributor:

June Andronick

Presented as part of the 2011 HCSS conference.

file

Using the Cambridge ARM Model to Verify the Concrete Machine Code of seL4

Submitted by TimTh on Tue, 05/10/2011 - 8:13am. Contributor:

Magnus Myreen

Presented as part of the 2011 HCSS conference.

file

Towards High-Assurance Run-Time Systems

Submitted by TimTh on Tue, 05/10/2011 - 8:05am. Contributor:

Andrew Tolmach

Presented as part of the 2011 HCSS conference.

file

Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs

Submitted by TimTh on Tue, 05/10/2011 - 8:00am. Contributor:

Andrew W. Appel

Presented as part of the 2011 HCSS conference.

file

Compiler Verification and Beyond: Verified Tools for High-Assurance Software

Submitted by TimTh on Tue, 05/10/2011 - 7:47am. Contributor:

Xavier Leroy

Presented as part of the 2011 HCSS conference.

Abstract

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Keynote Presentation: Making Sound Cyber Security Decisions Through a Quantitative Metrics Approach

Verifying Timing-Centric Software Systems

Applying Formal Methods to Prove Correctness of Surgical Robot Software

Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security

Developing Secure Mobile Architectures: The COTS Challenge

Let's Build Secure Systems on a Correct Kernel

Using the Cambridge ARM Model to Verify the Concrete Machine Code of seL4

Towards High-Assurance Run-Time Systems

Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs

Compiler Verification and Beyond: Verified Tools for High-Assurance Software