Cocks' Identity-Based Encryption ================================