Kanad Basu
University of Texas at Dallas, TX·Engineering
Modern chips often pack an entire computer onto one piece of silicon, called a system-on-chip. They run cars, factories and medical monitors, and they handle sensitive information such as encryption keys.
- Fields
Engineering
Computer Science
- Topics
hardware security
system-on-chip
SoC
- Grants
- 1 known grant, last ended Sep 2026
What they work on
- Develop a formal foundation for information flow analysis in system-on-chip designs that accounts for asynchronous events, such as interrupts, and for hardware-firmware interaction, which cause hard-to-detect security violations.
- Build an automated, integrated toolset for information flow validation that combines dynamic testing and formal analysis with machine learning to find unauthorized access to sensitive on-chip assets.
- Integrate the information flow analysis tools with industrial chip validation flows so they can be adopted in practical hardware design.
More about the research
If an untrusted part of the chip can read or alter that information, the results can be dangerous, even life-threatening in health monitoring devices. This collaborative project builds the theory and automated tools for information flow validation, which means checking that sensitive assets on a chip cannot be accessed or corrupted by unauthorized agents.
Why it matters
Chips in vehicles, industrial systems and medical devices hold sensitive data that attackers could steal or tamper with, with potentially disastrous consequences. Automated tools that catch hidden information leaks, especially those triggered by interrupts and other unpredictable events, could help chip designers find security flaws before devices ship. These tools are meant to fit into existing industry validation workflows.
Known grants
From NIH and NSF research grants. Labs often have other funding we can't see.
Closest labs
Kanad Basu
Rensselaer Polytechnic Institute, NY·Engineering·Early-career
Develop an automated quantum circuit construction toolset supporting end-to-end design, including quantum state preparation and function synthesis from the gates available on modern quantum processors.
Farimah Farahmandi
University of Florida, FL·Engineering·Early-career
Build a comprehensive database of security properties and rules for system-on-chip (SoC) designs, using AI to help collect and organize them for use in pre-fabrication security checks.
Himanshu Thapliyal
Southern Methodist University, TX·Engineering·Early-career
Investigate how secret information leaks through the power traces of energy recovery circuits, and propose design methods that reduce leakage against differential power analysis attacks.
The school
University of Texas at Dallas: 16 labs on PI Pages, $182M a year on research, 239 research doctorates a year.
Reach out
A start for your email. Fill in the brackets.