Cryptographic protocols provably secure against dynamic adversaries (0)

by D Beaver, S Haber
Venue:In Advances in Cryptology — Eurocrypt ’92