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: tielei OR wang
Results 1 - 10 of 87
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
Yue Wang
Networked Control
Testing
Control
Science of System Integration
Education
Foundations
Mechanical Engineering
profile
Yaodong Wang
CPS Technologies
Cyber-Vehicular Systems
New York
profile
John Wang
profile
Le Yi Wang
profile
Chen-Wei Wang
profile
Shige Wang
profile
zhuo wang
profile
Shige Wang
profile
J Wang
1
2
3
4
5
6
7
8
9
next ›
last »
Current search
[×]
tielei
OR
wang
Guided search
Click a term to refine your current search.
Group
Science of Security VO
(12)
2011 CPS PI Meeting
(10)
2012 Secure and Trustworthy Cyberspace Principal Investigators' Meeting
(9)
2012 CPS PI Meeting
(7)
CPS Architectures
(4)
CPS PIs Group
(4)
London CPS Workshop
(4)
2012 SoS Community Meeting
(3)
First Workshop on Cyber-Physical Systems Education (CPS-Ed 2013)
(2)
2010 CPS PI Meeting
(1)
more...
Topics
CPS Technologies
(7)
Systems Engineering
(6)
Automotive
(5)
Embedded Software
(5)
Control
(5)
Science of Security
(5)
Foundations
(5)
Architectures
(4)
Transportation
(4)
Platforms
(3)
Education
(3)
Medical Devices
(2)
Networked Control
(2)
Design Automation Tools
(2)
Energy
(2)
more...
Keywords
Access Control
(1)
Attack detection
(1)
automotive control systems
(1)
BAH
(1)
Cloud Computing
(1)
Columbia University
(1)
Computation
(1)
computer security
(1)
Cornell University
(1)
Cyber-Vehicular Systems
(1)
Dartmouth College
(1)
Data Security
(1)
Facebook
(2)
Ford Motor Co.
(1)
General Motors Corp.
(1)
more...
Content type
Event
(8)
File
(56)
Forum topic
(9)
Page
(4)
User Profile
(10)
Document Type
Agenda
(1)
Announcement
(3)
Draft
(2)
Poster
(20)
Presentation
(9)
Publications
(5)
Report
(4)
Event Types
Conference
(2)
Workshop
(2)
Panel
(1)
PI Meeting
(1)
CPS Events
2012
(19)
2011
(11)
2013
(4)
2010
(2)
Contributor(s)
Adam Shostack
(1)
Adam Waksman
(1)
Alessandro Chiesa
(1)
Andre Scedrov
(1)
Anh Nguyen-Tuong
(1)
Anupam Datta
(1)
Anuradha Kodali
(1)
B. Wang
(1)
Ben Rodes
(1)
Bharath Pattipati
(1)
Bill Goodwine
(4)
Billy Ella
(1)
Bing Wang
(2)
Bob Lian
(1)
Brian Bates
(1)
Brian Mastropietro
(1)
Carl Landwehr
(1)
Carolyn Talcott
(1)
Chaitanya Sankavaram
(2)
Chengyu Song
(1)
more...
Document Source
Academia
(27)
Industry
(6)
U.S. Government
(4)
Professional Organization
(1)
Author
Anonymous
(10)
admin
(5)
akarns
(2)
arajhans
(1)
bekris
(1)
Heather Lucas
(2)
hzhang_cse
(4)
jackie
(1)
Janos.Sztipanovits
(1)
Jcarter
(1)
Jeff C. Jensen
(2)
Jiawei Han
(1)
John Baras
(1)
johnwang
(1)
Katie Dey
(24)
more...
Date authored
2010
(4)
2011
(12)
2012
(58)
2013
(13)
Keyword search
Search within results
More options
586.26 KB
