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.

Checking Trace Equivalence: How to Get Rid of Nonces?

Rémy Chrétien, Véronique Cortier, Stéphanie Delaune. Checking Trace Equivalence: How to Get Rid of Nonces?. In Günther Pernul, Peter Y. A. Ryan, Edgar R. Weippl, editors, Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II. Volume 9327 of Lecture Notes in Computer Science, pages 230-251, Springer, 2015. [doi]

Authors

Rémy Chrétien

This author has not been identified. Look up 'Rémy Chrétien' in Google

Véronique Cortier

This author has not been identified. Look up 'Véronique Cortier' in Google

Stéphanie Delaune

This author has not been identified. Look up 'Stéphanie Delaune' in Google
runs on