EWCG 8. decrypting a message