Follow
Xun Li
Title
Cited by
Cited by
Year
Sapper: A language for hardware-level security policy enforcement
X Li, V Kashyap, JK Oberg, M Tiwari, VR Rajarathinam, R Kastner, ...
Proceedings of the 19th international conference on Architectural support …, 2014
1612014
Caisson: a hardware description language for secure information flow
X Li, M Tiwari, JK Oberg, V Kashyap, FT Chong, T Sherwood, ...
ACM SIGPLAN Conference on Programming Language Design and Implementation 46 …, 2011
1582011
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
M Tiwari, JK Oberg, X Li, J Valamehr, T Levin, B Hardekopf, R Kastner, ...
ACM SIGARCH Computer Architecture News 39 (3), 189-200, 2011
1472011
Execution leases: A hardware-supported mechanism for enforcing strong non-interference
M Tiwari, X Li, HMG Wassel, FT Chong, T Sherwood
Proceedings of the 42nd Annual IEEE/ACM International Symposium on …, 2009
942009
Smartphone evolution and reuse: Establishing a more sustainable model
X Li, PJ Ortiz, J Browne, D Franklin, JY Oliver, R Geyer, Y Zhou, FT Chong
2010 39th International Conference on Parallel Processing Workshops, 476-484, 2010
832010
Secure information flow analysis for hardware design: Using the right abstraction for the job
X Li, M Tiwari, B Hardekopf, T Sherwood, FT Chong
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010
132010
A case for energy-aware security mechanisms
X Li, FT Chong
2013 27th International Conference on Advanced Information Networking and …, 2013
122013
Gate-level information-flow tracking for secure architectures
M Tiwari, X Li, HMG Wassel, B Mazloom, S Mysore, FT Chong, ...
IEEE micro 30 (1), 92-100, 2010
112010
A case for smartphone reuse to augment elementary school education
X Li, PJ Ortiz, J Browne, D Franklin, JY Oliver, R Geyer, Y Zhou, FT Chong
International Conference on Green Computing, 459-466, 2010
92010
Mitigating the environmental impact of smartphones with device reuse
X Li, P Ortiz, B Kuczenski, D Franklin, FT Chong
Sustainable ICTs and management systems for green computing, 252-282, 2012
62012
A covert channel analysis of a real switch
X Li, Y Zhang, FT Chong, BY Zhao
Dep. of Computer Science, University of California, Santa Barbara, Tech. Rep …, 2011
52011
Position paper: Sapper--a language for provable hardware policy enforcement
X Li, V Kashyap, JK Oberg, M Tiwari, VR Rajarathinam, R Kastner, ...
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013
32013
ReDHiP: Recalibrating Deep Hierarchy Prediction for Energy Efficiency
X Li, D Franklin, R Bianchini, FT Chong
2014 IEEE 28th International Parallel and Distributed Processing Symposium …, 2014
22014
Function flattening for lease-based, information-leak-free systems
X Li, M Tiwari, T Sherwood, FT Chong
ASAP 2010-21st IEEE International Conference on Application-specific Systems …, 2010
22010
A Study of Reusing Smartphones to Augment Elementary School Education
X Li, PJ Ortiz, J Browne, D Franklin, JY Oliver, R Geyer, Y Zhou, FT Chong
International Journal of Handheld Computing Research (IJHCR) 3 (2), 73-92, 2012
2012
A Survey on Fault-Based Attack to RSA
X Li, CK Koc
The system can't perform the operation now. Try again later.
Articles 1–16