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 | 66 | 2020 |
Secure TLBs S Deng, W Xiong, J Szefer 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture …, 2019 | 48 | 2019 |
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 | 32 | 2019 |
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 | 26 | 2018 |
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 | 24 | 2020 |
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 | 20 | 2019 |
Leaky Frontends: Security Vulnerabilities in Processor Frontends S Deng, B Huang, J Szefer 2022 IEEE International Symposium on High-Performance Computer Architecture …, 2022 | 19 | 2022 |
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 | 18 | 2022 |
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 | 16 | 2017 |
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 | 16 | 2017 |
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 | 12 | 2022 |
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 | 12 | 2021 |
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 | 12 | 2021 |
New Predictor-Based Attacks in Processors S Deng, J Szefer 2021 58th ACM/IEEE Design Automation Conference (DAC), 697-702, 2021 | 8 | 2021 |
Analysis of Secure Caches and Timing-Based Side-Channel Attacks. S Deng, W Xiong, J Szefer IACR Cryptol. ePrint Arch. 2019, 167, 2019 | 6 | 2019 |
Leaky frontends: Micro-op cache and processor frontend vulnerabilities S Deng, B Huang, J Szefer arXiv preprint arXiv: 2105.12224, 2021 | 5 | 2021 |
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 |