Sign in
Xi Chen
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Security Analysis
State Machine
Anomaly Detection
Detecting Anomalous
Top Venues
Inf. Technol. Control.
NaNA
BlockSys
IEEE Access
</>
Publications
</>
Jiaxing Guo
,
Chunxiang Gu
,
Xi Chen
,
Siqi Lu
,
Fushan Wei
Automated State-Machine-Based Analysis of Hostname Verification in IPsec Implementations.
Inf. Technol. Control.
50 (3) (2021)
Jiaxing Guo
,
Siqi Lu
,
Chunxiang Gu
,
Xi Chen
,
Fushan Wei
Security Analysis and Design of Authentication Key Agreement Protocol in Medical Internet of Things.
NaNA
(2020)
Jiaxing Guo
,
Chunxiang Gu
,
Xi Chen
,
Fushan Wei
Model Learning and Model Checking of IPSec Implementations for Internet of Things.
IEEE Access
7 (2019)
Ji Li
,
Chunxiang Gu
,
Fushan Wei
,
Xi Chen
A Survey on Blockchain Anomaly Detection Using Data Mining Techniques.
BlockSys
(2019)