A Simple and Efficient Approach to Verfying Cryptographic Protocols. - Yongxing Sun; Xinmei Wang (SEC, 2000)

An approach to finding the attacks on the cryptographic protocols. - Yongxing Sun; Xinmei Wang (ACM SIGOPS Oper. Syst. Rev., 2000)

Stochastic Resonance Pre-Processing for Estimating Doppler Frequency Shift under Low SNR Conditions. - Liping Wu; Zan Li 001; Jiandong Li 001; Yongxing Sun; Yi Li (VTC Spring, 2010)

PDC Bit Design based on Deep Learning for Gravel Layer. - Yongxing Sun (Int. J. Pattern Recognit. Artif. Intell., 2025)