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 enforcement Proceedings of the 19th international conference on Architectural support …, 2014
2-) Caisson: a hardware description language for secure information flow ACM SIGPLAN Conference on Programming Language Design and Implementation 46 …, 2011
3-) Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security ACM SIGARCH Computer Architecture News 39 (3), 189-200, 2011
4-) Execution leases: A hardware-supported mechanism for enforcing strong non-interference Proceedings of the 42nd Annual IEEE/ACM International Symposium on …, 2009
5-) Smartphone evolution and reuse: Establishing a more sustainable model 2010 39th International Conference on Parallel Processing Workshops, 476-484, 2010