Interactive Message-Locked Encryption and Secure Deduplication
A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)