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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

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

CPS-VO

Designed-In Security

forum

Visible to the public CfP: High Confidence Software and Systems Conference (2015)

Submitted by Katie Dey on Thu, 01/15/2015 - 10:43am

The Fifteenth Annual HCSS Conference (2015)

Call for Presentations

  • Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
  • Foundations
  • privacy
  • tool qualification
  • sustainable integrity
  • Designed-In Security
  • proof engineering
  • CPS
  • security
  • resilience
  • formal methods
  • root of trust
  • Theorem Proving
  • Separation Logic
  • Announcement
file

Visible to the public High-Performance Regular Expression Processing for Cross-Domain Systems with High Assurance Requirements

Submitted by brad_martin on Tue, 04/22/2014 - 10:47am. Contributors:
  • David Hardin
  • Konrad Slind

Presented as part of the 2014 HCSS conference.

Abstract:

  • cross-domain systems
  • Designed-In Security
  • Regular expressions
  • Rockwell Collins
  • Theorem Proving
  • Industry
  • Presentation
  • HCSS'14
  • Specifications and Requirements (HCSS'14)
file

Visible to the public Trustworthy Cyberspace: Strategic Plan for the Federal Cybersecurity Research and Development Program

Submitted by Anonymous on Thu, 10/11/2012 - 9:31am

About this Document

  • Science Policy
  • Cyber Security and Information Assurance Research and Development Senior Steering Group (CSIA R&D SSG)
  • Cyber Security and Information Assurance Interagency Working Group (CSIA IWG)
  • Cyberspace Policy Review
  • Designed-In Security
  • Executive Office of the President
  • National Science and Technology Council
  • SoS Background Material
  • Cyber Security

Terms of Use  |  ©2023. CPS-VO