National HCSS Conference 2011

file

Enforcing Information Flow Policies via Generation of Monitors in Java Card Runtime Environments

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

Alessandro Coglio

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

More WINE, Less Dahusian Research

Submitted by Katie Dey on Sat, 05/14/2011 - 6:59pm. Contributor:

Marc Dacier

Presented as part of the 2011 HCSS conference.

Abstract

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

Copilot: Cyber-Physical System Run-Time Verification

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

Lee Pike

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.

National HCSS Conference 2011

Enforcing Information Flow Policies via Generation of Monitors in Java Card Runtime Environments

Dynamic Enforcement of Knowledge-Based Security Policies

More WINE, Less Dahusian Research

Making High-Confidence Systems Low-Cost

Copilot: Cyber-Physical System Run-Time Verification

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