Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation

@inproceedings{Shmatikov2004DecidableAO,
  title={Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation},
  author={Vitaly Shmatikov},
  booktitle={ESOP},
  year={2004}
}
Highly Cited
This paper has 57 citations. REVIEW CITATIONS

Topics

Statistics

0510'05'07'09'11'13'15'17
Citations per Year

57 Citations

Semantic Scholar estimates that this publication has 57 citations based on the available data.

See our FAQ for additional information.