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
more »
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.
Research in the K-State Hardware Security Lab mainly focuses on developing formal methods for ensuring security and trustworthiness of hardware/cyber systems and has contributed several key solutions that have been widely acknowledged and referenced by the newly emerging scientific community in the area of trusted hardware. Our current work covers the hardware and software security co-verification, Internet-of-Things (IoT) system security analysis, Proof-carrying hardware (PCH)-based hardware security verification, as well as analog/mixed signal domain vulnerability analysis.
« less