His general research interests are in the area of hardware security, third-party IP protection, formal verification and program analysis, as well as language-based security. Specifically, his current work covers three areas:
Proof-carrying, hardware (PCH)-based hardware security verification, where the PCH framework is used to provide a comprehensive and effective security solution at different stages in the IC supply chain;
Analog/mixed-signal domain Trojan design and detection, a systematic method of investigation to detect a large class of analog Trojans — one of the first works looking into hardware security vulnerabilities caused by analog properties in digital design; and
Security hardware description language, whereby a new hardware description language is proposed to evaluate the vulnerability of information leakage in hardware.
