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: alessandro OR coglio, Industry
2 results
Results
file
Enforcing Information Flow Policies via Generation of Monitors in Java Card Runtime Environments
Submitted by
Katie Dey
on Mon, 05/16/2011 - 9:23am. Contributor:
Alessandro Coglio
2.36 MB
0 views
82 downloads
Download
Science of Security
Kestrel Institute
National HCSS Conference 2011
Presentation
Industry
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Science of Security
file
VIBRANCE: Automatic Removal of Security Vulnerabilities from Java Applications
Submitted by
Katie Dey
on Tue, 05/01/2012 - 9:41pm. Contributor:
Alessandro Coglio
Abstract:
738.55 KB
0 views
154 downloads
Download
Kestrel Institute
National HCSS Conference 2012
Poster
Industry
HCSS'12 Theme: Formal Synthesis
Current search
[×]
alessandro
OR
coglio
[×]
Document Source
: Industry
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(2)
2011 HCSS Conference Program Committee
(1)
Science of Security VO
(1)
Topics
Science of Security
(1)
Keywords
Kestrel Institute
(2)
Content type
File
(2)
Document Type
Poster
(1)
Presentation
(1)
CPS Events
2011
(1)
2012
(1)
Contributor(s)
Alessandro Coglio
(2)
Document Source
:
all
» Industry
Author
Katie Dey
(2)
Date authored
2011
(1)
2012
(1)
Keyword search
Search within results
More options
738.55 KB
