Publications

Join or contact us →

Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer (2023). Survey of Approaches and Techniques for Security Verification of Computer Systems. JETC 2023.

Allen Mi, Shuwen Deng, Jakub Szefer (2022). Securing Reset Operations in NISQ Quantum Computers. CCS 2022.

Shuwen Deng, Wenjie Xiong, Jakub Szefer (2022). Leaky Frontends: Micro-Op Cache and Processor Frontend Vulnerabilities. In HPCA 2022.

Allen Mi, Shuwen Deng, Jakub Szefer (2022). Device- and Locality-Specific Fingerprinting of Shared NISQ Quantum Computers. HASP 2021.

Shuwen Deng, Jakub Szefer (2021). New Predictor-Based Attacks in Processors. In DAC 2021.

Shuwen Deng, Nikolay Matyunin, Wenjie Xiong, Stefan Katzenbeisser, Jakub Szefer (2021). Evaluation of Cache Attacks on Arm Processors and Secure Caches. IEEE TC, 2021.

Shuwen Deng, Wenjie Xiong, Jakub Szefer (2021). Understanding Insecurity of Processor Caches Due to Cache Timing-Based Vulnerabilities. Journal of IEEE S&P, 2021.

Shuwen Deng, Wenjie Xiong, Jakub Szefer (2020). A Benchmark Suite for Evaluating Caches’ Vulnerability to Timing Attacks. In “ASPLOS, 2020”.

Shuwen Deng, Wenjie Xiong, Jakub Szefer (2019). Analysis of Secure Caches using a Three-Step Model for Timing-Based Attacks. JHSS, 2019.

Wen Wang, Bernhard Jungk, Julian Wälde, Shuwen Deng, Naina Gupta, Jakub Szefer, Ruben Niederhagen (2019). XMSS and Embedded Systems - XMSS Hardware Accelerators for RISC-V. SAC 2019.

Shuwen Deng, Wenjie Xiong, Jakub Szefer (2019). Secure TLBs. In “ISCA, 2019”.

Shuwen Deng, Wenjie Xiong, Jakub Szefer (2018). Cache timing side-channel vulnerability checking with computation tree logic. HASP, 2018.

Guoyong Shi, Hanbin Hu, Shuwen Deng (2017). Topological Approach to Automatic Symbolic Macromodel Generation for Analog Integrated Circuits. TODAES 2017.