|
- Shuwen Deng,Wenjie Xiong.Jakub Szefer,Analysis of Secure Caches using a Three-Step Model for Timing-Based Attacks;Journal of Hardware and Systems Security (JHSS), 2019.
- Shuwen Deng,et al.SecChisel Framework for Security Verification of Secure Processor Architectures;Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy (HASP), 2019.
| |