Xun Li

Xun Li

University of California Santa Barbara - Santa Barbara / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1833239
person_outline Xun Li's MOST POPULAR ARTICLES
1-) Sapper: A language for hardware-level security policy enforcementX Li, V Kashyap, JK Oberg, M Tiwari, VR Rajarathinam, R Kastner, ...Proceedings of the 19th international conference on Architectural support …, 20141482014
2-) Caisson: a hardware description language for secure information flowX Li, M Tiwari, JK Oberg, V Kashyap, FT Chong, T Sherwood, ...ACM SIGPLAN Conference on Programming Language Design and Implementation 46 …, 20111472011
3-) Crafting a usable microkernel, processor, and I/O system with strict and provable information flow securityM Tiwari, JK Oberg, X Li, J Valamehr, T Levin, B Hardekopf, R Kastner, ...ACM SIGARCH Computer Architecture News 39 (3), 189-200, 20111462011
4-) Execution leases: A hardware-supported mechanism for enforcing strong non-interferenceM Tiwari, X Li, HMG Wassel, FT Chong, T SherwoodProceedings of the 42nd Annual IEEE/ACM International Symposium on …, 2009992009
5-) Smartphone evolution and reuse: Establishing a more sustainable modelX Li, PJ Ortiz, J Browne, D Franklin, JY Oliver, R Geyer, Y Zhou, FT Chong2010 39th International Conference on Parallel Processing Workshops, 476-484, 2010842010