Chunxiao Li

Attacking and Defending a Diabetes Therapy System

N. Jha, A. Raghunathan, Chunxiao Li, 2014 .

Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system

Niraj K. Jha, Anand Raghunathan, Chunxiao Li, 2011, 2011 IEEE 13th International Conference on e-Health Networking, Applications and Services.

Secure Virtual Machine Execution under an Untrusted Management OS

Niraj K. Jha, Anand Raghunathan, Chunxiao Li, 2010, 2010 IEEE 3rd International Conference on Cloud Computing.

Improving the Trustworthiness of Medical Device Software with Formal Verification Methods

Niraj K. Jha, Anand Raghunathan, Chunxiao Li, 2013, IEEE Embedded Systems Letters.