Deng Shuwen
![]() |
- Assistant Professor
- Supervisor of Doctorate Candidates
- Supervisor of Master's Candidates
- Name (English):Shuwen Deng
- Name (Pinyin):Deng Shuwen
- E-Mail:
- School/Department:Department of Electronic Engineering, Tsinghua University
- Administrative Position:Tenure-track Assistant Professor
- Education Level:Postgraduate (Postdoctoral)
- Business Address:Room 6-108, Rohm Building
- Degree:Doctoral degree
- Professional Title:Assistant Professor
- Status:Employed
- Academic Titles:Assistant Professor
- Alma Mater:Yale University
- Teacher College:DZGCX
- Discipline:Computer Applications Technology
Electrical Circuit and System
![](/_ts/dzxywmb02/images/com_tit_01.png)
- Email:
- Selected Publications
- 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.