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

by D Boneh, R A DeMillo, R J Lipton
Venue:EUROCRYPT’97, volume 1233 of LNCS