Fengyuan Liu, Zhongjian Hu, Peng Yang, Xingyu Liu
Hongmei Pei, Peng Yang, Yiting Liu, Fengyuan Liu et al.
The interconnection of electronic health devices through the Internet of Things (IoT) technology plays a crucial role in improving healthcare services. The existing schemes usually use traditional cryptographic algorithms and secret sharing to protect the privacy of user health data records generate...
Haiyang Wei, Ligeng Chen, Zhengjie Du, Yizheng Wu et al.
State machines are essential for enhancing protocol analysis to identify vulnerabilities. However, inferring state machines from network protocol implementations is challenging due to complex code syntax and semantics. Traditional dynamic analysis methods often miss critical state transitions due to...