EBOOK: Providing Sound Foundations for Cryptography