|
- Shuwen Deng,Wenjie Xiong.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.
- Wen Wang,Bernhard Jungk,Julian Walde,Shuwen Deng,Naina Gupta,Jakub Szefer.XMSS and Embedded Systems - XMSS Hardware Accelerators for RISC-V;Proceedings of the 34th International Conference on Selected Areas in Cryptography (SAC), 2019.
- Shuwen Deng,Wenjie Xiong.Cache Timing Side-Channel Vulnerability Checking with Computation Tree Logic;Proceedings of the 7th International Workshop on Hardware and Architectural Support for Security and Privacy (HASP), 2018.
- Guoyong Shi,Hanbin Hu,Shuwen Deng.Topological Approach to Automatic Symbolic Macromodel Generation for Analog Integrated Circuits;ACM Transactions on Design Automation of Electronic Systems (TODAES) 22.3 (2017):47.