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 the EMV Protocol Suite

Joeri de Ruiter, Erik Poll. Formal Analysis of the EMV Protocol Suite. In Sebastian Mödersheim, Catuscia Palamidessi, editors, Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Volume 6993 of Lecture Notes in Computer Science, pages 113-129, Springer, 2011. [doi]

Authors

Joeri de Ruiter

This author has not been identified. Look up 'Joeri de Ruiter' in Google

Erik Poll

This author has not been identified. Look up 'Erik Poll' in Google
runs on