| 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 | 48 | 2020 |
| Secure TLBs S Deng, W Xiong, J Szefer 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture …, 2019 | 34 | 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 | 20 | 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 | 20 | 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 | 16 | 2020 |
| 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 | 15 | 2017 |
| 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 | 14 | 2019 |
| 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 | 8 | 2017 |
| 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 | 5 | 2021 |
| Analysis of Secure Caches and Timing-Based Side-Channel Attacks. S Deng, W Xiong, J Szefer IACR Cryptol. ePrint Arch. 2019, 167, 2019 | 5 | 2019 |
| 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 | 4 | 2021 |
| Leaky Frontends: Security Vulnerabilities in Processor Frontends S Deng, B Huang, J Szefer 2022 IEEE International Symposium on High-Performance Computer Architecture …, 2022 | 3 | 2022 |
| New Predictor-Based Attacks in Processors S Deng, J Szefer 2021 58th ACM/IEEE Design Automation Conference (DAC), 697-702, 2021 | 2 | 2021 |
| Leaky frontends: Micro-op cache and processor frontend vulnerabilities S Deng, B Huang, J Szefer arXiv preprint arXiv: 2105.12224, 2021 | 2 | 2021 |
| 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 | 1 | 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 | | 2022 |
| 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 |
Jakub SzeferAssociate Professor of Electrical Engineering, Yale UniversityVerified email at yale.edu
