Title: Providing Sound Foundations for Cryptography