과제정보
본 연구는 과학기술정보통신부 및 정보통신기획평가원의 대학ICT연구센터사업의 연구결과로 수행되었음(IITP-2024-2021-0-01817)
참고문헌
- Duck, Gregory J., Xiang Gao, and Abhik Roychoudhury. "Binary rewriting without control flow recovery." Proceedings of the 41st ACMSIGPLAN conference on programming language design and implementation. 2020.
- Zhang, Yuntong, et al. "Program vulnerability repair via inductive inference." Proceedings of the31st ACM SIGSOFT International Symposium on Software Testing and Analysis. 2022.
- Wolff, Dylan, et al. "Greybox Fuzzing for Concurrency Testing." Proceedings of the 29thACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. 2024.
- Di Bartolomeo, Luca, Hossein Moghaddas, and Mathias Payer. "{ARMore}: Pushing Love Back Into Binaries." 32nd USENIX Security Symposium(USENIX Security 23). 2023.
- Chamith, Buddhika, et al. "Instruction punning: Lightweight instrumentation for x86-64."Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2017.