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.

Formal analysis of QUIC handshake protocol using ProVerif

Jingjing Zhang 0005, Lin Yang, Xianming Gao, Qiang Wang. Formal analysis of QUIC handshake protocol using ProVerif. In 7th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2020 / 6th IEEE International Conference on Edge Computing and Scalable Cloud, EdgeCom 2020, New York City, NY, USA, August 1-3, 2020. pages 132-138, IEEE, 2020. [doi]

Abstract

Abstract is missing.

runs on