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 Tale of Two Models: Formal Verification of KEMTLS via Tamarin

Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers. A Tale of Two Models: Formal Verification of KEMTLS via Tamarin. In Vijayalakshmi Atluri, Roberto Di Pietro, Christian Damsgaard Jensen, Weizhi Meng 0001, editors, Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part III. Volume 13556 of Lecture Notes in Computer Science, pages 63-83, Springer, 2022. [doi]

Authors

Sofía Celi

This author has not been identified. Look up 'Sofía Celi' in Google

Jonathan Hoyland

This author has not been identified. Look up 'Jonathan Hoyland' in Google

Douglas Stebila

This author has not been identified. Look up 'Douglas Stebila' in Google

Thom Wiggers

This author has not been identified. Look up 'Thom Wiggers' in Google
runs on