POSE: Phase I: Center for Formal and Human-Centered Security Verification in Internet of Things (IoT) Standards and Standardization

NSF Award Search · 01002526DB NSF RESEARCH & RELATED ACTIVIT · $299,929 · view on nsf.gov ↗

Abstract

This Pathways to Enable Open-Source Ecosystems (POSE) project centers on the development of a self-sustaining open-source ecosystem (OSE) for security and privacy assurance in Internet of Things (IoT) standards and their implementations. Modern IoT systems are integral to daily life, supporting safety, health, energy, and convenience across residential, commercial, and infrastructure settings. However, inconsistent designs and development practices across IoT devices have led to significant gaps in security and compliance. This project seeks to address these challenges by creating shared tools and infrastructure for continuous security verification—making it easier for developers to build secure-by-design devices and comply with emerging standards. The resulting OSE will promote trust in connected technologies, reduce risks for consumers, and contribute to safer, more reliable systems. It will also support hands-on educational opportunities that prepare the next generation of security and software engineers with practical skills in verification, threat modeling, and secure software design and development. Consumers, developers, educators, and researchers will benefit from the ecosystem’s collaborative and transparent approach, which aims to improve technological understanding and long-term resilience in connected environments. This POSE project establishes the Formal and Human-Centered Security Verification in IoT Standards (FHS-IoT), a non-profit organization dedicated to

Key facts

NSF award ID
2604255
Awardee
University of Illinois at Urbana-Champaign (IL)
SAM.gov UEI
Y8CWNJRCNN91
PI
Luyi Xing
Primary program
01002526DB NSF RESEARCH & RELATED ACTIVIT
All programs
—
Estimated total
$299,929
Funds obligated
$319,929
Transaction type
Standard Grant
Period
10/01/2025 → 08/31/2027