Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • HotSoS
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Conferences
    • HCSS
    • HotSoS
    • C3E
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events
High Confidence Software and Systems Conference
May 12-14, 2025 | Annapolis, Maryland

Register

  • Agenda
  • Venue
  • Call for Presentations
  • Past Events
  • Register

Breadcrumb

  • Home /
  • /
  • HCSS 2012 Poster Session
HCSS 2012 Poster Session

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

© 2025 Science of Security Virtual Organization

Footer

  • Terms
  • Follow Us on X