X. Zhang

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Chateda: A large language model powered autonomous agent for eda

H. Wu and others (2024) · IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

Generating Effective Software Obfuscation Sequences With Reinforcement Learning

H. Wang and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)

Toward Comprehensive Network Verification: Practices, Challenges and Beyond

X. Zhang and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)

A Practical and Compatible Cryptographic Solution to ADS-B Security

H. Yang and others (2019) · Institute of Electrical and Electronics Engineers (IEEE)

AutoISES: Automatically inferring security specifications and detecting violations

L. Tan and others (2008) · 17th USENIX Security Symposium

A brief survey of program slicing

B. Xu and others (2005) · Association for Computing Machinery (ACM)