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.

Computationally Sound Implementations of Equational Theories Against Passive Adversaries

Mathieu Baudet, Véronique Cortier, Steve Kremer. Computationally Sound Implementations of Equational Theories Against Passive Adversaries. In Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung, editors, Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Volume 3580 of Lecture Notes in Computer Science, pages 652-663, Springer, 2005. [doi]

Authors

Mathieu Baudet

This author has not been identified. Look up 'Mathieu Baudet' in Google

Véronique Cortier

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

Steve Kremer

This author has not been identified. Look up 'Steve Kremer' in Google
runs on