Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification for Later-Correspondence of Security Protocols.

X. Xie, X. Li, Y. Liu, L. Li, R. Feng, and Z. Feng. SOFL+MSVL, volume 8979 of Lecture Notes in Computer Science, page 111-126. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiaofei Hao

Xiaofei Guo

Xiaofei Ji

Xiaofei Hu

Mingliang Xie

Other publications of authors with the same name

Demystifying Performance Regressions in String Solvers.Y. Zhang, X. Xie, Y. Li, Y. Lin, S. Chen, Y. Liu, and X. Li. IEEE Trans. Software Eng., 49 (3): 947-961 (March 2023)CodeS: Towards Code Model Generalization Under Distribution Shift.Q. Hu, Y. Guo, X. Xie, M. Cordy, M. Papadakis, L. Ma, and Y. Traon. ICSE (NIER), page 1-6. IEEE, (2023)An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms.Q. Guo, S. Chen, X. Xie, L. Ma, Q. Hu, H. Liu, Y. Liu, J. Zhao, and X. Li. ASE, page 810-822. IEEE, (2019)A Quantitative Analysis Framework for Recurrent Neural Network.X. Du, X. Xie, Y. Li, L. Ma, Y. Liu, and J. Zhao. ASE, page 1062-1065. IEEE, (2019)Cross-project Defect Prediction via ASTToken2Vec and BLSTM-based Neural Network.H. Li, X. Li, X. Chen, X. Xie, Y. Mu, and Z. Feng. IJCNN, page 1-8. IEEE, (2019)Learning to Adversarially Blur Visual Object Tracking.Q. Guo, Z. Cheng, F. Juefei-Xu, L. Ma, X. Xie, Y. Liu, and J. Zhao. ICCV, page 10819-10828. IEEE, (2021)An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms.Q. Guo, X. Xie, L. Ma, Q. Hu, R. Feng, L. Li, Y. Liu, J. Zhao, and X. Li. CoRR, (2018)ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs.J. Kong, M. Cheng, X. Xie, S. Liu, X. Du, and Q. Guo. CoRR, (2024)DDoS family: A novel perspective for massive types of DDoS attacks.Z. Zhao, Z. Li, Z. Zhou, J. Yu, Z. Song, X. Xie, F. Zhang, and R. Zhang. Comput. Secur., (March 2024)Decompiling x86 Deep Neural Network Executables.Z. Liu, Y. Yuan, S. Wang, X. Xie, and L. Ma. USENIX Security Symposium, page 7357-7374. USENIX Association, (2023)

BibSonomy

Disambiguation of "Xie, Xiaofei"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification for Later-Correspondence of Security Protocols.

Please choose a person to relate this publication to

Xiaofei Hao

Xiaofei Guo

Xiaofei Ji

Xiaofei Hu

Mingliang Xie

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Xie, Xiaofei"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Automatic Verification for Later-Correspondence of Security Protocols.

Please choose a person to relate this publication to

Xiaofei Hao

Xiaofei Guo

Xiaofei Ji

Xiaofei Hu

Mingliang Xie

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification for Later-Correspondence of Security Protocols.