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: wenke OR lee, 2012
Results 1 - 10 of 81
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
Young-Ki Lee
profile
Lee Pike
profile
Albert Lee
profile
Hyung Soo Lee
profile
Kunik Lee
profile
Insup Lee
profile
Edward Lee
profile
Cindy Lee
profile
Hae Young Lee
1
2
3
4
5
6
7
8
9
next ›
last »
Current search
[×]
wenke
OR
lee
[×]
Date authored
: 2012
Guided search
Click a term to refine your current search.
Group
2012 CPS PI Meeting
(9)
2012 National Workshop on the New Clockwork for Time-Critical Cyber-Physical Systems
(9)
2012 Secure and Trustworthy Cyberspace Principal Investigators' Meeting
(7)
Science of Security VO
(7)
2011 CPS PI Meeting
(4)
Computational Cybersecurity in Compromised Environments (C3E)
(4)
CPS PIs Group
(3)
2012 The New Clockwork for Time-Critical Systems Program Committee
(2)
2013 High Confidence Software and Systems Conference
(2)
CPS Architectures
(2)
more...
Topics
CPS Technologies
(4)
Foundations
(3)
CPS Domains
(2)
Medical Devices
(2)
Embedded Software
(2)
Real-time Systems
(2)
Modeling
(2)
Science of Security
(2)
Transportation
(2)
Education
(2)
Architectures
(1)
Heterogeneous Timing
(1)
Hybrid Models
(1)
Composition
(1)
Design Automation Tools
(1)
more...
Keywords
acceptability
(1)
automatic attack generation
(1)
Brigham Young University
(1)
Chinwendu Enyioha
(1)
Columbia University
(2)
continuous election process improvement
(1)
dependability
(1)
digital signal processing
(1)
FIREAXE Team
(1)
George Pappas
(1)
George Washington University
(1)
HCSS
(1)
human-system interaction
(1)
information security
(1)
Insup Lee
(1)
more...
Content type
Event
(16)
File
(33)
Forum topic
(6)
Group Project
(1)
Page
(15)
User Profile
(10)
Document Type
Announcement
(1)
Poster
(8)
Presentation
(9)
Publications
(2)
Report
(2)
Event Types
PI Meeting
(4)
Community Forum
(1)
Conference
(1)
Satellite Workshop
(1)
Summer School
(1)
Workshop
(1)
CPS Events
2012
(16)
2011
(5)
2009
(1)
2010
(1)
Contributor(s)
Adam Shostack
(1)
Alessandro Chiesa
(1)
Anh Nguyen-Tuong
(1)
Anthony Vance
(1)
Anupam Datta
(1)
Anushka Anand
(1)
Ben Cook
(1)
Ben Rodes
(1)
Billy Ella
(1)
Bonnie Anderson
(1)
Brian Mastropietro
(1)
Brock Kirwan
(1)
Carl Landwehr
(1)
Chengyu Song
(1)
Christopher Gill
(1)
Claire Tomlin
(1)
David Broman
(1)
David Cok
(1)
David Corman
(1)
David Hyde
(1)
more...
Document Source
Academia
(14)
U.S. Government
(3)
Industry
(1)
Author
Anonymous
(6)
admin
(6)
alee
(1)
arajhans
(1)
baandersson
(1)
cxbrooks
(5)
e-perreault
(1)
Edward Lee
(2)
Francesco Borrelli
(1)
haelee
(1)
hamsa
(1)
Heather Lucas
(1)
hzhang_cse
(3)
Insup Lee
(2)
John Hatcliff
(1)
more...
Date authored
:
all
» 2012
February, 2012
(2)
March, 2012
(3)
April, 2012
(14)
May, 2012
(5)
July, 2012
(3)
August, 2012
(13)
September, 2012
(9)
October, 2012
(18)
November, 2012
(6)
December, 2012
(8)
Keyword search
Search within results
More options
586.26 KB
