Author:
Bao Qinkun,Wang Zihao,Li Xiaoting,Larus James R.,Wu Dinghao
Funder
National Science Foundation
Office of Naval Research
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Efficient Verification of Constant-Time Cryptographic Implementations;Proceedings of the ACM on Software Engineering;2024-07-12
2. Owl: Differential-Based Side-Channel Leakage Detection for CUDA Applications;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24
3. ZipChannel: Cache Side-Channel Vulnerabilities in Compression Algorithms;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24
4. SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
5. SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs;Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy;2023-10-29