Research Direction: computer architecture, hardware and system security Assistant professor, Department of Electronic Engineering, Tsinghua Univerity (starting May 2023) Postdoctoral Research Fellow, Computer Science and Engineering Department, University of Michigan, Ann Arbor (July 2022 - now)
Shuwen Deng, Bowen Huang, and Jakub Szefer. "Leaky Frontends: Micro-Op Cache and Processor Frontend Vulnerabilities".
Accepted by the the 28th IEEE International Symposium on High-Performance Computer Architecture (HPCA), 2022.
[ arXiv ]
Shuwen Deng, Nikolay Matyunin, Wenjie Xiong, Stefan Katzenbeisser, and Jakub Szefer.
"Evaluation of Cache Attacks on Arm Processors and Secure Caches". Accepted by IEEE Transactions
on Computers (IEEE TC), 2021
[ arXiv ]
Shuwen Deng and Jakub Szefer. "New Predictor-Based Attacks in Processors". Accepted by
the 58th Design Automation Conference (DAC), 2021. Acceptance rate of 23%.
[ BibTex ]
[ PDF ]
Shuwen Deng, Wenjie Xiong, and Jakub Szefer. "Understanding Insecurity of Processor Caches
Due to Cache Timing-Based Vulnerabilities". In Journal of IEEE Security & Privacy, 2021.
[ BibTex ]
Shuwen Deng, Wenjie Xiong, and Jakub Szefer. "A Benchmark Suite for Evaluating Caches' Vulnerability to Timing Attacks".
Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems
(ASPLOS), 2020. Acceptance rate of 18.10%.
[ BibTeX ]
[ PDF ]
[ arXiv ]
Shuwen Deng, Wenjie Xiong, and Jakub Szefer. "Analysis of Secure Caches Using a Three-Step Model for Timing-Based Attacks".
In Journal of Hardware and Systems Security (JHSS), 2019.
[ ePrint ]
[ PDF ]
Shuwen Deng, Wenjie Xiong, and Jakub Szefer. "Secure TLBs". Proceedings of the 46th International Symposium on Computer
Architecture (ISCA), 2019. Acceptance rate of 16.98%.
(Top Picks in Hardware and Embedded Security 2021)
[ BibTex ]
[ PDF ]
[ CODE ]
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.
[ BibTex ]
[ PDF ]
Shuwen Deng, Wenjie Xiong, and Jakub Szefer. "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.
[ BibTex ]
[ PDF ]
Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, and Jakub Szefer. "Survey of Approaches and Techniques for Security Verification of Computer Systems".
Journal on Emerging Technologies in Computing Systems, 2022.
[ BibTex ]
Allen Mi, Shuwen Deng, and Jakub Szefer. "Securing Reset Operations in NISQ Quantum Computers".
Proceedings of the Conference on Computer and Communications Security (CCS), 2022.
[ BibTex ]
Allen Mi, Shuwen Deng, and Jakub Szefer. "Device- and Locality-Specific Fingerprinting of
Shared NISQ Quantum Computers" the 10th International Workshop on Hardware and Architectural Support for Security and Privacy (HASP), 2021.
[ BibTex ]
Wen Wang, Bernhard Jungk, Julian Walde, Shuwen Deng, Naina Gupta, Jakub Szefer, and Ruben Niederhagen. "XMSS and
Embedded Systems - XMSS Hardware Accelerators for RISC-V." Proceedings of the 34th International Conference on Selected Areas in Cryptography (SAC), 2019.
[ prior ePrint ]
[ PDF ]
[ CODE ]
Guoyong Shi, Hanbin Hu, and 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.
[ PDF ]