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: david OR cok
Results 1 - 10 of 177
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.
586.26 KB
0 views
163 downloads
Download
National HCSS Conference 2012
Presentation
Industry
Georgia Institute of Technology
GrammaTech
Raytheon
University of Virginia
HCSS'12 Theme: Formal Synthesis
profile
David Tremaine
profile
David Corman
profile
David Balenson
Virginia
profile
david kuehn
Transportation
Virginia
profile
David Swedlow
profile
David Skillicorn
profile
David Fishman
profile
David Hanz
profile
David Frye
1
2
3
4
5
6
7
8
9
…
next ›
last »
Current search
[×]
david
OR
cok
Guided search
Click a term to refine your current search.
Group
Science of Security VO
(27)
2013 High Confidence Software and Systems Conference
(18)
2011 CPS PI Meeting
(17)
Computational Cybersecurity in Compromised Environments (C3E)
(10)
2012 SoS Community Meeting
(9)
2012 CPS PI Meeting
(8)
2012 Secure and Trustworthy Cyberspace Principal Investigators' Meeting
(6)
2012 National Workshop on the New Clockwork for Time-Critical Cyber-Physical Systems
(5)
CPS Architectures
(5)
2011 HCSS Conference Program Committee
(3)
more...
Topics
Science of Security
(11)
CPS Technologies
(11)
Transportation
(8)
Education
(7)
Embedded Software
(6)
Architectures
(5)
Energy Efficient Buildings
(5)
Energy
(5)
Platforms
(5)
Modeling
(5)
Systems Engineering
(5)
Architectures
(4)
Automotive
(4)
CPS Domains
(4)
Wireless Sensing and Actuation
(4)
more...
Keywords
acceptability
(1)
Access Control
(1)
AFRL
(1)
architectures
(1)
arrays
(1)
assurance mechanisms
(1)
automotive control systems
(1)
BAH
(1)
Body Area Sensor Networks
(1)
Brigham Young University
(1)
Carnegie Mellon University
(5)
certification
(1)
Columbia University
(1)
computer security
(1)
Concordia University
(1)
more...
Content type
Event
(23)
File
(85)
Forum topic
(7)
Group Project
(1)
News Item
(1)
Page
(29)
User Profile
(31)
Document Type
Agenda
(2)
Announcement
(7)
Draft
(1)
Poster
(16)
Presentation
(27)
Publications
(5)
Report
(7)
Event Types
PI Meeting
(7)
Workshop
(6)
Conference
(2)
Panel
(1)
Congressional Hearing
(1)
Symposium
(1)
CPS Events
2012
(22)
2011
(21)
2013
(6)
2010
(5)
Contributor(s)
Aaron Tomb
(1)
Adam Shostack
(1)
Ajinkya Bhave
(1)
Alessandro Chiesa
(1)
Andre Platzer
(5)
Andre Scedrov
(1)
Andrew Appel
(1)
Andrew Cousino
(1)
Anh Nguyen-Tuong
(1)
Anil Aswamy
(1)
Anthony Vance
(1)
Anupam Datta
(1)
Ashkay Rajhans
(1)
Ben Rodes
(1)
Ben Selfridge
(1)
Benton Calhoun
(1)
Benton H. Calhoun
(1)
Billy Ella
(1)
Bonnie Anderson
(1)
Bradley Schmerl
(1)
more...
Document Source
Academia
(36)
Industry
(10)
U.S. Government
(9)
Research Organization
(1)
Author
Anonymous
(21)
admin
(6)
adyson
(1)
akarns
(3)
arajhans
(1)
arney
(1)
balenson
(1)
Claire Tomlin
(1)
climekd
(1)
cxbrooks
(4)
dafrye
(1)
David Corman
(1)
David Culler
(2)
David Fox
(1)
David Garlan
(1)
more...
Date authored
2010
(10)
2011
(16)
2012
(114)
2013
(37)
Keyword search
Search within results
More options
586.26 KB
