Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Presentation
file
Security Inception - Exploiting the Software Ecosystem
Submitted by TimTh on Mon, 05/16/2011 - 8:30am. Contributor:
Jeff Williams
Presented as part of the
2011 HCSS conference
.
Aspect Security
National HCSS Conference 2011
Industry
Presentation
HCSS '11
HCSS/CAS Tools and Technologies
file
Designed-In Security
Submitted by Carl Landwehr on Mon, 05/16/2011 - 8:27am. Contributor:
Carl Landwehr
Presented as part of the
2011 HCSS conference
.
Science of Security
National HCSS Conference 2011
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
file
Information Security: The Legacy of a Maginot Line in Cyberspace
Submitted by TimTh on Mon, 05/16/2011 - 8:26am. Contributor:
Doug DePeppe
Presented as part of the
2011 HCSS conference
.
Science of Security
i2IS Cyberspace Solutions
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
file
Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Submitted by TimTh on Mon, 05/16/2011 - 8:24am. Contributor:
Konrad Slind
Presented as part of the
2011 HCSS conference
.
Science of Security
Rockwell Collins
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
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
.
Science of Security
Kestrel Institute
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (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
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
Science of Security
Foundations
Symantec Research Labs
National HCSS Conference 2011
Industry
Presentation
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)
« first
‹ previous
…
223
224
225
226
227
228
229
230
231
…
next ›
last »
