Kanad Basu

What they work on

1. 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.
2. Verify quantum circuits at scale using ZX calculus, a graphical formalism for simplifying circuits, for equivalence checking, plus a simulation-based methodology for larger circuits and for circuits with quantum error correction.
3. Build a quantum benchmark platform that profiles circuit properties and validates performance, integrating modern quantum error-correcting code designs that existing verification benchmarks lack.
4. Design fine-grained design-for-security primitives for embedded hardware based on instruction sequences and debug-level register information, as an alternative to error-prone hardware performance counters.
5. Improve embedded malware detection by analyzing hardware traces with time-series and explainability-based classification, and defend the security primitives themselves against adversarial and snooping attacks.
6. Create a foundation for information flow analysis in System-on-Chip designs that explicitly accounts for asynchronous events and hardware-firmware interaction, the source of many hard-to-detect violations.
7. Build an automated System-on-Chip information flow validation framework combining dynamic and formal analysis, testing and machine learning, and integrate it with industrial validation flows.
8. Develop cloud-based hardware security experiments on FPGA servers, remotely hosted reconfigurable chips, that replace oscilloscopes and evaluation boards so students need only a computer and internet connection.

More about the research

Why it matters

Embedded chips run cars, medical devices and industrial systems, so better hardware-assisted malware detection and chip-level protection of sensitive data could reduce real harm, including failures of health monitoring equipment. Automated tools for building and checking quantum circuits could let chemists, financial analysts and machine learning researchers use quantum computers without designing circuits by hand. The cloud-based laboratory platform could give students and workers anywhere hands-on hardware security training without costly equipment.

Known grants

From NIH and NSF research grants. Labs often have other funding we can't see.

Closest labs

The school

Rensselaer Polytechnic Institute: 5 labs on PI Pages, $140M a year on research, 113 research doctorates a year.

More about Rensselaer Polytechnic Institute

Reach out

A start for your email. Fill in the brackets.