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 2010
HCSS 2010
file
Security Systems Engineering
Submitted by TimTh on Sun, 08/07/2011 - 3:54pm. Contributor:
Jennifer Bayuk
Stevens Institute of Technology
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Virtual Organization for Cyber Physical Systems (CPS-VO): Goals, Plans and Actions
Submitted by Janos.Sztipanovits on Sun, 08/07/2011 - 3:49pm. Contributor:
Janos Sztipanovits
ISIS- Vanderbilt University
0931632
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Revolution through Competition
Submitted by Carl Landwehr on Sun, 08/07/2011 - 3:43pm. Contributor:
Carl Landwehr
National HCSS Conference 2010
Presentation
HCSS '10
HCSS 2010
file
Centaur Verification Approach
Submitted by WarrenAHuntJr on Sun, 08/07/2011 - 3:32pm. Contributor:
Warren A. Hunt, Jr.
Centaur Technology
University of Texas
National HCSS Conference 2010
Industry
Presentation
HCSS '10
HCSS 2010
file
Shifting the Paradigm: Twenty Cents Worth of History
Submitted by ivans on Sun, 08/07/2011 - 9:12am. Contributor:
Ivan Sutherland
Portland State University
National HCSS Conference 2010
Academia
Conference paper
HCSS '10
HCSS 2010
inbox
file
Shifting the Paradigm
Submitted by ivans on Sun, 08/07/2011 - 9:10am. Contributor:
Ivan Sutherland
Portland State University
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
HWMAC: Hardware-Enforced Fine-Grained Policy-Driven Security
Submitted by TimTh on Sun, 08/07/2011 - 9:07am. Contributor:
Paul Karger
IBM
National HCSS Conference 2010
Industry
Presentation
HCSS '10
HCSS 2010
file
Formal models of ARM processors in HOL
Submitted by mjcg on Sun, 08/07/2011 - 9:02am. Contributors:
Mike Gordon
Anthony Fox
University of Cambridge
National CPS PI Meeting 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Generating Implementations of Error Correcting Codes using Kansas Lava
Submitted by TimTh on Sun, 08/07/2011 - 8:56am. Contributor:
Andy Gill
University of Kansas
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Proof-Carrying Data Secure Computation on Untrusted Execution Platforms
Submitted by TimTh on Sun, 08/07/2011 - 8:53am. Contributor:
Eran Tromer
CSAIL
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
1
2
next ›
last »
