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

by D Boneh, R A DeMillo, R J Lipton
Venue:Proc. Eurocrypt’97, LNCS 1233