Academia

file

Parametric Verification of Address Space Separation

Submitted by TimTh on Thu, 05/26/2011 - 6:44pm. Contributor:

Jason Franklin

Presented as part of the 2011 HCSS conference.

file

Automatically Identifying Exploitable Bugs

Submitted by TimTh on Mon, 05/16/2011 - 8:35am. Contributor:

David Brumley

Presented as part of the 2011 HCSS conference.

file

Matching Logic

Submitted by TimTh on Mon, 05/16/2011 - 8:31am. Contributor:

Grigore Rosu

Presented as part of the 2011 HCSS conference.

file

Dynamic Enforcement of Knowledge-Based Security Policies

Submitted by TimTh on Sat, 05/14/2011 - 7:22pm. Contributor:

Stephen Magill

Presented as part of the 2011 HCSS conference.

file

Making High-Confidence Systems Low-Cost

Submitted by TimTh on Sat, 05/14/2011 - 6:55pm. Contributor:

Alex Dean

Presented as part of the 2011 HCSS conference.

file

Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES

Submitted by John Hatcliff on Sat, 05/14/2011 - 5:41pm. Contributors:

Presented as part of the 2011 HCSS conference.

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.

Cyber-Physical Systems Virtual Organization

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

Parametric Verification of Address Space Separation

Automatically Identifying Exploitable Bugs

Matching Logic

Dynamic Enforcement of Knowledge-Based Security Policies

Making High-Confidence Systems Low-Cost

Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES

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