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

Raytheon

file

Visible to the public Industry Perspectives: What Industry Problems Motivate Research on Scientific Foundations?

Submitted by Phil Venables on Mon, 12/03/2012 - 11:17am. Contributors:
  • Jay Lala
  • Phil Venables
  • Bret Hartman

Jay Lala (Raytheon)

  • Cisco
  • Goldman-Sachs
  • Raytheon
  • Industry
  • Presentation
  • Presentations
  • Science of Security Community Meeting, Nov '12
file

Visible to the public Castle Warrior: Redefining 21st Century Network Defense

Submitted by Katie Dey on Tue, 05/29/2012 - 11:58am. Contributor:
  • Monty D. McDougal
  • Raytheon
file

Visible to the public Preventing Exploits Against Software Of Uncertain Provenance

Submitted by TimTh on Tue, 05/08/2012 - 12:01am. Contributors:
  • Michele Co
  • David Cok
  • Jack Davidson
  • Billy Ella
  • Denis Gopan
  • Jason Hiser
  • David Hyde
  • John Knight
  • Wenke Lee
  • Brian Mastropietro
  • David Melski
  • Duc Nguyen
  • Anh Nguyen-Tuong
  • John Phillips
  • Tom Reps
  • Ben Rodes
  • Chengyu Song
  • Tim Teitelbaum
  • Tielei Wang

Presented as part of the 2012 HCSS conference.

David Melski, melski@grammatech.com, GrammaTech, Inc.

  • Georgia Institute of Technology
  • GrammaTech
  • Raytheon
  • University of Virginia
  • National HCSS Conference 2012
  • Industry
  • Presentation
  • HCSS'12
  • Formal Synthesis (HCSS'12)

Terms of Use  |  ©2023. CPS-VO