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: andrew OR cavender, Kansas State University, 2012
2 results
Results
file
Developer-Friendly Contract-Based Notations and Machine-Checkable Evidence for Verif. of Information Flow Properties for ES
Submitted by
Katie Dey
on Tue, 05/01/2012 - 5:28pm. Contributors:
John Hatcliff
Tobern Amtoft
Zhi Zhang
Simon Ou
Andrew Cousino
Josiah Dodds
Andrew Appel
Lennart Beringer
David Hardin
Abstract:
9 MB
0 views
90 downloads
Download
Rockwell Collins
Princeton University
Kansas State University
National HCSS Conference 2012
Presentation
Academia
Industry
HCSS'12 Theme: Technology Transfer
file
Lessons Learned from Experimenting with Machine Learning in Intrusion Analysis
Submitted by Anonymous on Mon, 12/03/2012 - 6:54pm. Contributors:
Loai Zomlot
Xinming Ou
Doina Caragea
Sathya Chandran
ABSTRACT
3.5 MB
0 views
45 downloads
Download
Enterprise Network Security
Intrusion Detection and Analysis
Kansas State University
machine learning
Poster
Academia
Posters
Science of Security Community Meeting, Nov '12
Current search
[×]
andrew
OR
cavender
[×]
Keywords
: Kansas State University
[×]
Date authored
: 2012
Guided search
Click a term to refine your current search.
Group
2012 SoS Community Meeting
(1)
2013 High Confidence Software and Systems Conference
(1)
Science of Security VO
(1)
Keywords
:
all
» Kansas State University
Content type
File
(2)
Document Type
Poster
(1)
Presentation
(1)
CPS Events
2012
(1)
Contributor(s)
Andrew Appel
(1)
Andrew Cousino
(1)
David Hardin
(1)
Doina Caragea
(1)
John Hatcliff
(1)
Josiah Dodds
(1)
Lennart Beringer
(1)
Loai Zomlot
(1)
Sathya Chandran
(1)
Simon Ou
(1)
Tobern Amtoft
(1)
Xinming Ou
(1)
Zhi Zhang
(1)
Document Source
Academia
(2)
Industry
(1)
Author
Anonymous
(1)
Katie Dey
(1)
Date authored
:
all
» 2012
May, 2012
(1)
December, 2012
(1)
Keyword search
Search within results
More options
