Statistics
Publications
1
Citations
12
H-Index
1
Active since
2019
Affiliations
State Key Laboratory of Cryptology(Current)
Jiaxing Guo is an author at State Key Laboratory of Cryptology specializing in formal verification, data security, and hardware security.
Publications per year
2019–2019
1
1
Model Learning and Model Checking of IPSec Implementations for Internet of Things
Jiaxing Guo, Chunxiang Gu, Xi Chen et al. · IEEE Access · 2019 · 12 citations · Full text
1–1 of 1