Jintian Lu

A Secure and Efficient Distributed Storage Scheme SAONT-RS Based on an Improved AONT and Erasure Coding

Bo Meng, Jiabing Liu, Dejun Wang, 2018, IEEE Access.

Web Attack Detection Based on User Behaviour Semantics

Shuyuan Jin, Yunyi Zhang, Jintian Lu, 2020, ICA3PP.

Automatic Verification of Security of OpenID Connect Protocol with ProVerif

Jing Li, Bo Meng, Jinli Zhang, 2016, 3PGCIC.

Security Analysis of OpenID Connect Protocol with Cryptoverif in the Computational Model

Jing Li, Bo Meng, Jinli Zhang, 2016, 3PGCIC.

Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model

Dejun Wang, Xudong He, Yitong Yang, 2020, Int. J. Netw. Secur..

A Security Analysis Method for Security Protocol Implementations Based on Message Construction

Chin-Tser Huang, Xudong He, Dejun Wang, 2018, Applied Sciences.

PV2JAVA: Automatic Generator of Security Protocol Implementations Written in Java Language from the Applied PI Calculus Proved in the Symbolic Model

Jinli Zhang, Dejun Wang, Yitong Yang, 2016 .

Automatic Verification of Security of Identity Federation Security Protocol with ProVerif in the Cloud Security Platforms

Xu An Wang, Jinli Zhang, Yitong Yang, 2019 .

Vulnerability Detection in C/C++ Source Code With Graph Representation Learning

Shuyuan Jin, Yuelong Wu, Jintian Lu, 2021, 2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC).