Shuwen Deng



  • I am now a postdoctoral research fellow at University of Michigan, working with Professor Baris Kasikci. I will join Tsinghua University as an assistant professor in 2023. I received Ph.D. from Yale University, advised by Professor Jakub Szefer. During my Ph.D. study, I got my M.S. and M.Phil. in 2019. Before coming to Yale, I graduated from Shanghai Jiao Tong University with the Bachelor's degree in 2016.

    My work bridges computer architecture and security. As my dissertation research shows, microarchitectural security problems in modern computer systems can become very serious, e.g., leading to side channels that can leak machine learning secrets or cryptographic keys. My current research focuses on developing and verifying processor microarchitectures by creating schemes for checking timing side-channel vulnerabilities at the design time, as well as I develop tools for practical and scalable security verification of hardware and architectures.

       Email   Google Scholar    LinkedIn


NEWS

    • (08-09/2022) I served on Hardware and Architectural Support for Security and Privacy (HASP) 2022 (co-located with MICRO 2022) and Workshop on Attacks and Solutions in Hardware Security (ASHES) 2022 (co-located with CCS 2022) Program Committee.
    • (07/2022) I join Computer Science Department at University of Michigan as a postdoctoral research fellow, working with Prof. Baris Kasikci.
    • (05/2022) Our survey paper "Survey of Approaches and Techniques for Security Verification of Computer Systems" is accepted to Journal on Emerging Technologies in Computing Systems, 2022.
    • (05/2022) Our paper "Securing Reset Operations in NISQ Quantum Computers" is accepted to CCS 2022.
    • (04/2022) I will join Department of Electronic Enginering, Tsinghua University as an assistant professor next year.
    • (12/2021) Our paper "Secure TLBs" is selected as Top Picks 2021 in Hardware and Embedded Security.
    • (11/2021) I presented "Secure TLBs" work at Top Picks 2021 in Hardware and Embedded Security.
    • (10/2021) Our paper "Leaky Frontends: Security Vulnerabilities in Processor Frontends" is accepted to HPCA 2022.
    • (10/2021) I presented the lightning talk and the poster of "Value Predictor Attacks in Professors" work at 7th Career Workshop for Inclusion and Diversity in Computer Architecture co-located with MICRO 2021.


RESEARCH

Peer-reviewed Publications

  • 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 ]  


Contact 

Email: shuwend@umich.edu
     


CSE
4856 Beyster
Ann Arbor, MI 48109-2121