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
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: jason OR hiser, John Knight
1 result
Results
file
Preventing Exploits Against Software Of Uncertain Provenance
Submitted by
Katie Dey
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
David Melski,
melski@grammatech.com
, GrammaTech, Inc.
Login
or
register
to post comments
Read more
Download
586.26 KB
PowerPoint presentation
0 views
294 downloads
National HCSS Conference 2012
Presentation
Industry
Georgia Institute of Technology
GrammaTech
Raytheon
University of Virginia
HCSS'12 Theme: Formal Synthesis
Current search
[×]
jason
OR
hiser
[×]
Contributor(s)
: John Knight
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(1)
Content type
File
(1)
Document Type
Presentation
(1)
CPS Events
2012
(1)
Contributor(s)
:
all
» John Knight
Document Source
Industry
(1)
Author
Katie Dey
(1)
Date authored
2012
(1)
Keyword search
Search within results
More options
