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 Combinations of Secure Protocols

Elliott Blot, Jannik Dreier, Pascal Lafourcade 0001. Formal Analysis of Combinations of Secure Protocols. In Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquín García-Alfaro, editors, Foundations and Practice of Security - 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers. Volume 10723 of Lecture Notes in Computer Science, pages 53-67, Springer, 2017. [doi]

Authors

Elliott Blot

This author has not been identified. Look up 'Elliott Blot' in Google

Jannik Dreier

This author has not been identified. Look up 'Jannik Dreier' in Google

Pascal Lafourcade 0001

This author has not been identified. Look up 'Pascal Lafourcade 0001' in Google
runs on