Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
» HCSS '11
HCSS '11
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
.
Science of Security
University of Maryland
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Science of Security (HCSS'11)
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
.
Science of Security
Foundations
NC State
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
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
.
Galois
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
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:
John Hatcliff
David Hardin
Jason Belt
Patrice Chalin
Presented as part of the
2011 HCSS conference
.
Concordia University
Kansas State University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
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
University of Illinois at Urbana-Champaign
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
2011 Slide Presentations
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
.
University of California at Berkeley
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Applying Formal Methods to Prove Correctness of Surgical Robot Software
Submitted by TimTh on Sat, 05/14/2011 - 5:03pm. Contributors:
Yanni Kouskoulas
Peter Kazanzides
Presented as part of the
2011 HCSS conference
.
JHU-APL
Johns Hopkins University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
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
.
University of Pennsylvania
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
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
.
Galois
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Evidence (HCSS'11)
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
.
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Evidence (HCSS'11)
« first
‹ previous
1
2
3
4
next ›
last »