Get started
Author

Jiaxing Guo

Observed name: Guo, Jiaxing
ORCID: 0000-0001-8668-9264
Observed ORCID: 0000-0001-8668-9264
OpenAlex ID: A5028194451
Model Learning and Model Checking of IPSec Implementations for Internet of Things
2019 · Jiaxing Guo, Chunxiang Gu, et al. · IEEE Access · 19
PDF
AGLFuzz: Automata-Guided Fuzzing for detecting logic errors in security protocol implementations
2024 · Dongliang Zhao, Jiaxing Guo, et al. · Computers & Security · 7
Stateful black-box fuzzing for encryption protocols and its application in IPsec
2024 · Jiaxing Guo, Chunxiang Gu, et al. · Computer Networks · 6
LightSEEN: Real-Time Unknown Traffic Discovery via Lightweight Siamese Networks
2021 · Ji Li, Chunxiang Gu, et al. · Security and Communication Networks · 6
PDF
Security Analysis and Design of Authentication Key Agreement Protocol in Medical Internet of Things
2020 · Jiaxing Guo, Siqi Lu, et al. · International Conference on Networking and Network Applications (NaNA) · 4
Combining model learning and formal analysis: A framework for protocol implementation verification
2025 · Kai Tian, Chunxiang Gu, et al. · Journal of Information Security and Applications · 3
An enhanced state-aware model learning approach for security analysis in lightweight protocol implementations
2024 · Jiaxing Guo, Dongliang Zhao, et al. · Journal of Cloud Computing Advances Systems and Applications · 3
PDF
Automated State-Machine-Based Analysis of Hostname Verification in IPsec Implementations
2021 · Jiaxing Guo, Chunxiang Gu, et al. · Information Technology And Control · 2
PDF
Your Graph Recommender is Provably a Single-view Graph Contrastive Learning
2024 · Yang, Wenjie, Zhang, Shengzhong, et al. · arXiv (Cornell University) · 1
PDF
LLM-assisted Verification of Protocol Implementations for Logic Flaws Using TLA+
2026 · Kai Tian, Xi Chen, et al. · International Conference on Computer Supported Cooperative Work in Design (CSCWD)
Know Your Neighbors: Subgraph Importance Sampling for Heterophilic Graph Active Learning
2026 · Wenjie Yang, Shengzhong Zhang, et al. · Proceedings of the AAAI Conference on Artificial Intelligence
PDF
Dynamic Differential Testing for Black-Box IPsec Implementations
2024 · Jiaxing Guo, Dongliang Zhao, et al. · International Symposium on Computer and Information Processing Technology (ISCIPT)
Works count: 12
Citation count: 51
H-index: 4
I10-index: 1
Year
Topic
Type