3 Fangfei Liu Ruby B. Lee 2013 Security Testing of a Secure Cache Design in Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy (HASP) June 24, 2013