Linear-time temporal logic guided greybox fuzzing-Reference-Cited by-同舟云学术

Linear-time temporal logic guided greybox fuzzing

Published:2022-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 44th International Conference on Software Engineering
language:
Short-container-title:

Author:

Meng Ruijie¹,Dong Zhen²,Li Jialin¹,Beschastnikh Ivan³,Roychoudhury Abhik¹

Affiliation:

1. National University of Singapore, Singapore

2. Fudan University, China

3. University of British Columbia, Canada

Publisher

ACM

Link

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

Reference71 articles.

1. August. 2021 (last accessed). AFL. https://lcamtuf.coredump.cx/afl/. August. 2021 (last accessed). AFL. https://lcamtuf.coredump.cx/afl/.

2. August. 2021 (last accessed). Contiki-Telnet. https://github.com/contiki-os/contiki. August. 2021 (last accessed). Contiki-Telnet. https://github.com/contiki-os/contiki.

3. August. 2021 (last accessed). libFuzzer. https://llvm.org/docs/LibFuzzer.html. August. 2021 (last accessed). libFuzzer. https://llvm.org/docs/LibFuzzer.html.

4. August. 2021 (last accessed). Live555. http://www.live555.com/. August. 2021 (last accessed). Live555. http://www.live555.com/.

5. August. 2021 (last accessed). OpenSSH. http://www.openssh.com/. August. 2021 (last accessed). OpenSSH. http://www.openssh.com/.

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

1. The Human Side of Fuzzing: Challenges Faced by Developers during Fuzzing Activities;ACM Transactions on Software Engineering and Methodology;2023-11-23

2. Greybox Fuzzing of Distributed Systems;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

3. Guiding Directed Fuzzing with Feasibility;2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2023-07

4. SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration;2023 IEEE Symposium on Security and Privacy (SP);2023-05

5. A Usability Evaluation of AFL and libFuzzer with CS Students;Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems;2023-04-19