Breadcrumb Home / / HCSS 2012 Poster Session HCSS 2012 Poster Session The CPS Virtual OrganizationDetecting Malicious Activity in Wireless Sensor Networks using Topic Modeling with Latent Dirichlet AllocationThe Guardol Language and Verification SystemMaude-NPA: Equation-Aware Cryptographic Protocal AnalysisQuest-V: A Virtualized Multikernel for High-Confidence SystemsScience of SecuritySPARKSkein – A Formal and Fast Reference Implementation of the Skein Hash Algorithm