Taining Chen

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Elliptic Curve Cryptography

Security Analysis

Top Venues

Publications

Tao Feng, Taining Chen, Xiang Gong
Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool. Inf. 15 (2) (2024)