An architecture for secure software defined radio. - Chunxiao Li 007; Anand Raghunathan; Niraj K. Jha (DATE, 2009)

A Secure User Interface for Web Applications Running Under an Untrusted Operating System. - Chunxiao Li 007; Anand Raghunathan; Niraj K. Jha (CIT, 2010)

Secure Virtual Machine Execution under an Untrusted Management OS. - Chunxiao Li 007; Anand Raghunathan; Niraj K. Jha (IEEE CLOUD, 2010)

Secure reconfiguration of software-defined radio. - Chunxiao Li 007; Niraj K. Jha; Anand Raghunathan (ACM Trans. Embed. Comput. Syst., 2012)

A Trusted Virtual Machine in an Untrusted Management Environment. - Chunxiao Li 007; Anand Raghunathan; Niraj K. Jha (IEEE Trans. Serv. Comput., 2012)

Localized Heating for Building Energy Efficiency. - Jun Wei Chuah; Chunxiao Li 007; Niraj K. Jha; Anand Raghunathan (VLSI Design, 2013)

Improving the Trustworthiness of Medical Device Software with Formal Verification Methods. - Chunxiao Li 007; Anand Raghunathan; Niraj K. Jha (IEEE Embed. Syst. Lett., 2013)