Author:
Huang Kaiming,Huang Yongzhe,Payer Mathias,Qian Zhiyun,Sampson Jack,Tan Gang,Jaeger Trent
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety;IEEE Security & Privacy;2024-07
2. Assessing the Impact of Efficiently Protecting Ten Million Stack Objects from Memory Errors Comprehensively;2023 IEEE Secure Development Conference (SecDev);2023-10-18
3. FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
4. DirtyCred;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07