Follow
Shuwen Deng
Title
Cited by
Cited by
Year
XMSS and Embedded Systems: XMSS Hardware Accelerators for RISC-V
W Wang, B Jungk, J Wälde, S Deng, N Gupta, J Szefer, R Niederhagen
Selected Areas in Cryptography–SAC 2019: 26th International Conference …, 2020
582020
Secure TLBs
S Deng, W Xiong, J Szefer
2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture …, 2019
432019
Analysis of Secure Caches Using a Three-Step Model for Timing-Based Attacks
S Deng, W Xiong, J Szefer
Journal of Hardware and Systems Security 3 (4), 397-425, 2019
312019
Cache timing side-channel vulnerability checking with computation tree logic
S Deng, W Xiong, J Szefer
Proceedings of the 7th International Workshop on Hardware and Architectural …, 2018
252018
A Benchmark Suite for Evaluating Caches' Vulnerability to Timing Attacks
S Deng, W Xiong, J Szefer
Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020
232020
SecChisel Framework for Security Verification of Secure Processor Architectures
S Deng, D Gümüşoğlu, W Xiong, S Sari, YS Gener, C Lu, O Demir, ...
Proceedings of the 8th International Workshop on Hardware and Architectural …, 2019
192019
Leaky Frontends: Security Vulnerabilities in Processor Frontends
S Deng, B Huang, J Szefer
2022 IEEE International Symposium on High-Performance Computer Architecture …, 2022
182022
Topological approach to automatic symbolic macromodel generation for analog integrated circuits
G Shi, H Hu, S Deng
ACM Transactions on Design Automation of Electronic Systems (TODAES) 22 (3 …, 2017
162017
Securing Reset Operations in NISQ Quantum Computers
A Mi, S Deng, J Szefer
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
132022
SecChisel: language and tool for practical and scalable security verification of security-aware hardware architectures
S Deng, D Gümüşoğlu, W Xiong, YS Gener, O Demir, J Szefer
Cryptology ePrint Archive, 2017
132017
Survey of approaches and techniques for security verification of computer systems
F Erata, S Deng, F Zaghloul, W Xiong, O Demir, J Szefer
ACM Journal on Emerging Technologies in Computing Systems (JETC), 2022
82022
Evaluation of cache attacks on arm processors and secure caches
S Deng, N Matyunin, W Xiong, S Katzenbeisser, J Szefer
IEEE Transactions on Computers 71 (9), 2248-2262, 2021
82021
Short Paper: Device-and Locality-Specific Fingerprinting of Shared NISQ Quantum Computers
A Mi, S Deng, J Szefer
Workshop on Hardware and Architectural Support for Security and Privacy, 1-6, 2021
82021
New Predictor-Based Attacks in Processors
S Deng, J Szefer
2021 58th ACM/IEEE Design Automation Conference (DAC), 697-702, 2021
62021
Leaky frontends: Micro-op cache and processor frontend vulnerabilities
S Deng, B Huang, J Szefer
arXiv preprint arXiv: 2105.12224, 2021
52021
Analysis of Secure Caches and Timing-Based Side-Channel Attacks.
S Deng, W Xiong, J Szefer
IACR Cryptol. ePrint Arch. 2019, 167, 2019
52019
Short Paper: Device-and Locality-Specific Fingerprinting of Shared NISQ Quantum Computers
A Mi, S Deng, J Szefer
arXiv preprint arXiv:2202.12731, 2022
2022
Processor Microarchitecture Security
S Deng
Yale University, 2022
2022
Understanding the Insecurity of Processor Caches Due to Cache Timing-Based Vulnerabilities
S Deng, W Xiong, J Szefer
IEEE Security & Privacy 19 (3), 42-49, 2021
2021
XMSS and Embedded Systems
W Wang, B Jungk, J Wälde, S Deng, N Gupta, J Szefer, R Niederhagen
International Conference on Selected Areas in Cryptography, 523-550, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20