Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
Poster Session
View
Submitted by Katie Dey on Wed, 05/09/2012 - 4:08pm
The CPS Virtual Organization
Detecting Malicious Activity in Wireless Sensor Networks using Topic Modeling with Latent Dirichlet Allocation
The Guardol Language and Verification System
Maude-NPA: Equation-Aware Cryptographic Protocal Analysis
Quest-V: A Virtualized Multikernel for High-Confidence Systems
Science of Security
SPARKSkein – A Formal and Fast Reference Implementation of the Skein Hash Algorithm
‹ Margrave: Query-Based Policy Analysis
up
The CPS Virtual Organization ›
Printer-friendly version
National HCSS Conference 2012
Poster Session