External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Symerge: Replacing Calls in Under-Constrained Symbolic Execution and Find Vulnerabilities

Yicheng Zeng, Jiaqian Peng, Jiami Lin, Rongrong Xi, Hongsong Zhu. Symerge: Replacing Calls in Under-Constrained Symbolic Execution and Find Vulnerabilities. In Saed Alrabaee, Kim-Kwang Raymond Choo, Ernesto Damiani, Robert H. Deng, editors, Security and Privacy in Communication Networks - 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part II. Volume 628 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 376-399, Springer, 2024. [doi]

Authors

Yicheng Zeng

This author has not been identified. Look up 'Yicheng Zeng' in Google

Jiaqian Peng

This author has not been identified. Look up 'Jiaqian Peng' in Google

Jiami Lin

This author has not been identified. Look up 'Jiami Lin' in Google

Rongrong Xi

This author has not been identified. Look up 'Rongrong Xi' in Google

Hongsong Zhu

This author has not been identified. Look up 'Hongsong Zhu' in Google
runs on