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 | 177 | 2014 |
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 | 172 | 2011 |
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 | 151 | 2011 |
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 | 99 | 2009 |
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 | 84 | 2010 |
A case for energy-aware security mechanisms X Li, FT Chong 2013 27th International Conference on Advanced Information Networking and …, 2013 | 13 | 2013 |
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 | 13 | 2010 |
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 | 12 | 2010 |
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 | 11 | 2010 |
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 | 6 | 2012 |
A covert channel analysis of a real switch X Li, Y Zhang, F Chong, B Zhao Dep. of Computer Science, University of California, Santa Barbara, Tech. Rep …, 2011 | 5 | 2011 |
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 | 3 | 2013 |
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 | 2 | 2014 |
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 | 2 | 2010 |
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 | | |