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

by D Boneh, R A DeMillo, R J Lipton
Venue:Advances in Cryptology, Proceedings Eurocrypt'97, LNCS 1233