External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

Jingjing Zhang 0005, Xianming Gao, Lin Yang, Tao Feng, Dongyang Li, Qiang Wang. A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. Security and Communication Networks, 2021, 2021. [doi]

Authors

Jingjing Zhang 0005

This author has not been identified. Look up 'Jingjing Zhang 0005' in Google

Xianming Gao

This author has not been identified. Look up 'Xianming Gao' in Google

Lin Yang

This author has not been identified. Look up 'Lin Yang' in Google

Tao Feng

This author has not been identified. Look up 'Tao Feng' in Google

Dongyang Li

This author has not been identified. Look up 'Dongyang Li' in Google

Qiang Wang

This author has not been identified. Look up 'Qiang Wang' in Google
runs on