# Collaborative Research: SaTC: CORE: Small: SOCIAL: System-on-Chip Information Flow Validation under Asynchronous Events

> **NSF 01002223DB NSF RESEARCH & RELATED ACTIVIT** · Rensselaer Polytechnic Institute (NY) · $290,443

## Abstract

We live in an era where smart, connected computing devices pervade many critical applications, including transportation systems, industrial automation, health and biomedical systems, etc. Naturally, these devices create, process, and exchange significant sensitive information.  Unauthorized or malicious access to these assets can result in disastrous consequences, including loss of human life in the case of health monitoring systems. The goal of this project is to create a comprehensive infrastructure for information flow validation, i.e., ensuring that sensitive  assets in modern System-on-Chip designs cannot be accessed or corrupted by an unauthorized or untrusted agent. The ove r-arching goal is to develop a scientific foundation and a comprehensive automated framework of integrated tools for systematically addressing the spectrum of challenges in information flow validation. The research objectives are tightly integrated into teaching and outreach activities, in the form of new curriculum development, organizing security competitions in premier conferences, recruitment of female and underrepresented minority students, and involving high-school graduates in research.
 
The project has three technical objectives. The first objective is to develop a core foundation for information flow analysis that accounts for real-world complexities. In particular, many hard-to-detect real-world information flow violations result from interruptions of functional flow by a variety of asy

## Key facts

- **NSF award ID:** 2537756
- **Awardee organization:** Rensselaer Polytechnic Institute (NY)
- **SAM.gov UEI:** U5WBFKEBLMX3
- **PI:** Kanad Basu
- **Primary program:** 01002223DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** SaTC: Secure and Trustworthy Cyberspace, SMALL PROJECT
- **Estimated total:** $290,443
- **Funds obligated:** $82,310
- **Transaction type:** Standard Grant
- **Period:** 08/15/2025 → 09/30/2026

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2537756

## Citation

> US National Science Foundation, Award 2537756, Collaborative Research: SaTC: CORE: Small: SOCIAL: System-on-Chip Information Flow Validation under Asynchronous Events. Retrieved via AI Analytics 2026-06-08 from https://api.ai-analytics.org/grant/nsf/2537756. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*