On the Importance of Checking Cryptographic Protocols for Faults (1997)

by D Boneh, R A Demillo, R J Lipton
Venue:In Advances in Cryptology - EUROCRYPT ’97