Xun Li

15 papers A* 5A 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2024 A* conf
Sui Lutris: A Blockchain Combining Broadcast and Consensus.
CCS
Sam Blackshear, Andrey Chursin, George Danezis, Anastasios Kichidis, Lefteris Kokoris-Kogias, Xun Li, Mark Logan, Ashok Menon, Todd Nowacki, Alberto Sonnino, Brandon Williams, Lu Zhang
2023 J jnl
Sui Lutris: A Blockchain Combining Broadcast and Consensus.
CoRR
Sam Blackshear, Andrey Chursin, George Danezis, Anastasios Kichidis, Lefteris Kokoris-Kogias, Xun Li, Mark Logan, Ashok Menon, Todd Nowacki, Alberto Sonnino, Brandon Williams, Lu Zhang
2014 A conf
ReDHiP: Recalibrating Deep Hierarchy Prediction for Energy Efficiency.
IPDPS
Xun Li, Diana Franklin, Ricardo Bianchini, Frederic T. Chong
2014 A* conf
Sapper: a language for hardware-level security policy enforcement.
ASPLOS
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
2013 — conf
A Case for Energy-Aware Security Mechanisms.
AINA Workshops
Xun Li, Frederic T. Chong
2013 — conf
Position paper: Sapper - a language for provable hardware policy enforcement.
PLAS
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
2012 J jnl
A Study of Reusing Smartphones to Augment Elementary School Education.
Int. J. Handheld Comput. Res.
Xun Li, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong
2011 A* conf
Caisson: a hardware description language for secure information flow.
PLDI
Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf
2011 A* conf
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.
ISCA
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
2010 — conf
A case for smartphone reuse to augment elementary school education.
Green Computing Conference
Xun Li, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong
2010 — conf
Function flattening for lease-based, information-leak-free systems.
ASAP
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong
2010 J jnl
Gate-Level Information-Flow Tracking for Secure Architectures.
IEEE Micro
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood
2010 — conf
Secure information flow analysis for hardware design: using the right abstraction for the job.
PLAS
Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong
2010 — conf
Smartphone Evolution and Reuse: Establishing a More Sustainable Model.
ICPP Workshops
Xun Li, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong
2009 A* conf
Execution leases: a hardware-supported mechanism for enforcing strong non-interference.
MICRO
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood