On the importance of checking cryptographic protocols for faults (1997)

by D Boneh, R DeMillo, R Lipton
Venue:In Advances in Cryptology - EUROCRYPT ’97, LNCS 1233