@misc{W1829732909,
  author = {Dan Boneh and Richard A. DeMillo and Richard J. Lipton},
  title = {On the Importance of Checking Cryptographic Protocols for Faults},
  year = {1997},
  howpublished = {Lecture notes in computer science},
  doi = {https://doi.org/10.1007/3-540-69053-0\_4}
}