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 hardin, File
Keyword search
With all of the words
With the exact phrase
With at least one of the words
Without the words
Search within results
Back to results
Guided search
Click a term to refine your current search.
Group
Science of Security VO
(20)
2013 High Confidence Software and Systems Conference
(15)
2011 CPS PI Meeting
(10)
2012 CPS PI Meeting
(7)
2012 SoS Community Meeting
(7)
2012 Secure and Trustworthy Cyberspace Principal Investigators' Meeting
(5)
CPS Architectures
(5)
2012 National Workshop on the New Clockwork for Time-Critical Cyber-Physical Systems
(4)
2011 HCSS Conference Program Committee
(3)
CPS PIs Group
(3)
more...
Topics
Science of Security
(8)
Transportation
(6)
Energy Efficient Buildings
(4)
Education
(4)
Automotive
(3)
Science Policy
(2)
Aerospace
(1)
Medical Devices
(1)
Avionics
(1)
Composition
(1)
Energy
(1)
Modeling
(1)
Robotics
(1)
Validation and Verification
(1)
Keywords
Access Control
(1)
AFRL
(1)
arrays
(1)
BAH
(1)
Bit-vectors
(1)
Brigham Young University
(1)
Carnegie Mellon University
(5)
CMU
(1)
Columbia University
(1)
computer security
(1)
Concordia University
(1)
cyber competitions
(1)
Cyber Security and Information Assurance Interagency Working Group (CSIA IWG)
(1)
Cyber Security and Information Assurance Research and Development Senior Steering Group (CSIA R&D SSG)
(1)
cybersecurity career engagement
(1)
more...
Content type
:
all
» File
Document Type
Agenda
(1)
Draft
(1)
Poster
(16)
Presentation
(28)
Publications
(5)
Report
(8)
CPS Events
2012
(21)
2011
(15)
2010
(4)
2013
(2)
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
(35)
Industry
(10)
U.S. Government
(9)
Research Organization
(1)
Author
Anonymous
(12)
admin
(3)
adyson
(1)
arajhans
(1)
Claire Tomlin
(1)
cxbrooks
(2)
David Culler
(1)
davidk
(1)
Dusko P
(1)
gdhager
(1)
Heather Lucas
(1)
Janos.Sztipanovits
(1)
Jcarter
(1)
Jeff C. Jensen
(2)
John Hatcliff
(1)
more...
Date authored
2010
(10)
2011
(15)
2012
(42)
2013
(20)
