Affiliation:
1. Department of Computer, Control, and Management EngineeringSapienza University of Rome Rome Italy
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
2. ETAP: Energy-aware Timing Analysis of Intermittent Programs;ACM Transactions on Embedded Computing Systems;2023-01-25
3. Untangle: Aiding Global Function Pointer Hijacking for Post-CET Binary Exploitation;Detection of Intrusions and Malware, and Vulnerability Assessment;2023
4. SENinja: A symbolic execution plugin for Binary Ninja;SoftwareX;2022-12
5. SymFusion: Hybrid Instrumentation for Concolic Execution;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10