Execution leases: a hardware-supported mechanism for enforcing strong non-interference. - Mohit Tiwari; Xun Li 001; Hassan M. G. Wassel; Frederic T. Chong; Timothy Sherwood (MICRO, 2009)

Function flattening for lease-based, information-leak-free systems. - Xun Li 001; Mohit Tiwari; Timothy Sherwood; Frederic T. Chong (ASAP, 2010)

A case for smartphone reuse to augment elementary school education. - Xun Li 001; Pablo J. Ortiz; Jeffrey Browne; Diana Franklin; John Y. Oliver; Roland Geyer; Yuanyuan Zhou; Frederic T. Chong (Green Computing Conference, 2010)

Smartphone Evolution and Reuse: Establishing a More Sustainable Model. - Xun Li 001; Pablo J. Ortiz; Jeffrey Browne; Diana Franklin; John Y. Oliver; Roland Geyer; Yuanyuan Zhou; Frederic T. Chong (ICPP Workshops, 2010)

Secure information flow analysis for hardware design: using the right abstraction for the job. - Xun Li 001; Mohit Tiwari; Ben Hardekopf; Timothy Sherwood; Frederic T. Chong (PLAS, 2010)

Gate-Level Information-Flow Tracking for Secure Architectures. - Mohit Tiwari; Xun Li 001; Hassan M. G. Wassel; Bita Mazloom; Shashidhar Mysore; Frederic T. Chong; Timothy Sherwood (IEEE Micro, 2010)

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. - Mohit Tiwari; Jason Oberg; Xun Li 001; Jonathan Valamehr; Timothy E. Levin; Ben Hardekopf; Ryan Kastner; Frederic T. Chong; Timothy Sherwood (ISCA, 2011)

Caisson: a hardware description language for secure information flow. - Xun Li 001; Mohit Tiwari; Jason Oberg; Vineeth Kashyap; Frederic T. Chong; Timothy Sherwood; Ben Hardekopf (PLDI, 2011)

A Study of Reusing Smartphones to Augment Elementary School Education. - Xun Li 001; Pablo J. Ortiz; Jeffrey Browne; Diana Franklin; John Y. Oliver; Roland Geyer; Yuanyuan Zhou; Frederic T. Chong (Int. J. Handheld Comput. Res., 2012)

A Case for Energy-Aware Security Mechanisms. - Xun Li 001; Frederic T. Chong (AINA Workshops, 2013)

Position paper: Sapper - a language for provable hardware policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (PLAS, 2013)

Sapper: a language for hardware-level security policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (ASPLOS, 2014)

ReDHiP: Recalibrating Deep Hierarchy Prediction for Energy Efficiency. - Xun Li 001; Diana Franklin; Ricardo Bianchini; Frederic T. Chong (IPDPS, 2014)

Sui Lutris: A Blockchain Combining Broadcast and Consensus. - Sam Blackshear; Andrey Chursin; George Danezis; Anastasios Kichidis; Lefteris Kokoris-Kogias; Xun Li 001; Mark Logan; Ashok Menon; Todd Nowacki; Alberto Sonnino; Brandon Williams; Lu Zhang (CCS, 2024)