Evocatio-Reference-Cited by-同舟云学术

Evocatio

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Jiang Zhiyuan¹,Gan Shuitao²,Herrera Adrian³,Toffalini Flavio⁴,Romerio Lucio⁴,Tang Chaojing¹,Egele Manuel⁵,Zhang Chao⁶,Payer Mathias⁴

Affiliation:

1. NUDT, Changsha, China

2. SKL-MEAC, Tsinghua University, Wuxi, China

3. Australian National University, Canberra, Australia

4. EPFL, Lausanne, Switzerland

5. Boston University, Boston, MA, USA

6. Tsinghua University, BNRist Zhongguancun Lab, Beijing, China

Funder

European Research Council award number(s)

Swiss National Science Foundation award number(s)

Air Force Research Laboratory award number(s)

National Key Research and Development Program of China award number(s)

China Postdoctoral Science Foundation award number(s)

Beijing National Research Center for Information Science and Technology award number(s)

Defense Advanced Research Projects Agency award number(s)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3548606.3560575

Reference81 articles.

1. Saswat Anand , Patrice Godefroid , and Nikolai Tillmann . 2008. Demand-driven compositional symbolic execution . In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) . Springer , 367--381. Saswat Anand, Patrice Godefroid, and Nikolai Tillmann. 2008. Demand-driven compositional symbolic execution. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, 367--381.

2. REDQUEEN: Fuzzing with Input-to-State Correspondence;Aschermann Cornelius;Network and Distributed Systems Security (NDSS),2019

3. Automatic exploit generation

4. Roberto Baldoni , Emilio Coppa , Daniele Cono D'elia , Camil Demetrescu , and Irene Finocchi . 2018 . A Survey of Symbolic Execution Techniques . Comput. Surveys , Vol. 51 , 3, Article 50 (may 2018), 39 pages. https://doi.org/ 10 .1145/3182657 10.1145/3182657 Roberto Baldoni, Emilio Coppa, Daniele Cono D'elia, Camil Demetrescu, and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. Comput. Surveys, Vol. 51, 3, Article 50 (may 2018), 39 pages. https://doi.org/10.1145/3182657

5. Julian Bangert , Sergey Bratus , Rebecca Shapiro , and Sean W. Smith . 2013 . The Page-Fault Weird Machine: Lessons in Instruction-less Computation. In Workshop on Offensive Technologies (WOOT). USENIX. Julian Bangert, Sergey Bratus, Rebecca Shapiro, and Sean W. Smith. 2013. The Page-Fault Weird Machine: Lessons in Instruction-less Computation. In Workshop on Offensive Technologies (WOOT). USENIX.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Revealing the exploitability of heap overflow through PoC analysis;Cybersecurity;2024-07-18

3. Early and Realistic Exploitability Prediction of Just-Disclosed Software Vulnerabilities: How Reliable Can It Be?;ACM Transactions on Software Engineering and Methodology;2024-06-27

4. CrashTalk: Automated Generation of Precise, Human Readable, Descriptions of Software Security Bugs;Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy;2024-06-19

5. Improving Patch Correctness Analysis via Random Testing and Large Language Models;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27