Chunxiao Li

According to our database, Chunxiao Li authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Improving the Trustworthiness of Medical Device Software with Formal Verification Methods.

Chunxiao Li, Anand Raghunathan, Niraj K. Jha

IEEE Embed. Syst. Lett., 2013

Localized Heating for Building Energy Efficiency.

Jun Wei Chuah, Chunxiao Li, Niraj K. Jha, Anand Raghunathan

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

2012

A Trusted Virtual Machine in an Untrusted Management Environment.

Chunxiao Li, Anand Raghunathan, Niraj K. Jha

IEEE Trans. Serv. Comput., 2012

Secure reconfiguration of software-defined radio.

Chunxiao Li, Niraj K. Jha, Anand Raghunathan

ACM Trans. Embed. Comput. Syst., 2012

2010

Secure Virtual Machine Execution under an Untrusted Management OS.

Chunxiao Li, Anand Raghunathan, Niraj K. Jha

Proceedings of the IEEE International Conference on Cloud Computing, 2010

A Secure User Interface for Web Applications Running Under an Untrusted Operating System.

Chunxiao Li, Anand Raghunathan, Niraj K. Jha

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

An architecture for secure software defined radio.

Chunxiao Li, Anand Raghunathan, Niraj K. Jha

Proceedings of the Design, Automation and Test in Europe, 2009